Formal Specification and Implementation Using Z
Publisher: Prentice Hall
Published: March 1993
Language: eng
Format: Paperback
Number of pages: 500
ISBN-13: 9780133263800
Subjects: Programming Languages - General; Mathematical theory of computation; Object-oriented programming (OOP); Systems analysis & design; Computer Programming Languages; Computers - Languages / Programming; Computer Books: General
Notes: Prentice Hall International Series in Computing Science