Using Z
Subtitle: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Publisher: Prentice Hall
Published: July 1996
Language: eng
Format: Textbook Binding
Number of pages: 386
ISBN-13: 9780139484728
Subjects: High level programming languages; Software engineering; Programming Languages - General; Computer Programming Languages; Computers - Languages / Programming; Textbooks; Computer Books: Operating Systems; Z (Computer program language); Computer Science; Programming - General