An Introduction to Formal Specification With Z and Vdm (The Mcgraw-Hill International Series in Software Engineering)
Publisher: Mcgraw Hill Book Co Ltd
Published: December 1994
Language: eng
Format: Paperback
Number of pages: 398
ISBN-13: 9780077079079
Subjects: Applied mathematics; Object-oriented programming (OOP); Programming languages; Software engineering; Z (Programming Language); Science/Mathematics; Development; Computer software; Z (Computer program language)