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
Number of pages: 398
ISBN-13: 9780077079079