Formal Specification and Documentation Using Z
Subtitle: A Case Study Approach
Publisher: International Thomson Computer Press
Published: February 1996
Place of publication: London, UK
Language: eng
Format: Paperback
Number of pages: 302
ISBN-13: 9781850322306
Copyright date: 1996
Subjects: Programming languages; Programming Languages - General; Z (Programming Language); Computers; Computer Books: General