Cover of An introduction to formal specification with Z and VDM

An edition of An introduction to formal specification with Z and VDM (1995)

An introduction to formal specification with Z and VDM

By Deri Sheppard

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1995

Publisher

McGraw-Hill

Language

eng

Pages

398

Description:

subjects: Development, Z (Computer program language), Computer software, Z (programmeertaal), Z (langage de programmation), Z (computer program language), Formale Spezifikationstechnik, Logiciels, Développement, Z