An edition of An introduction to formal specification with Z and VDM (1995)
By Deri Sheppard
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