Software Development with Z
A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Publisher: Addison-Wesley Pub. Co.
Type: Physical Book
Language: English
Pages: 334
Information: Reprint
Release Date: 1992-01-01
ISBN 13: 9780201627572
Readers: 1
Country: United States of America