Formal Specification Using Z (Computer Science)
Edition: 2 edition
Publisher: Palgrave Macmillan
Published: February 2001
Language: eng
Format: Paperback
Number of pages: 2001
ISBN-13: 9780333763278
Subjects: Applied mathematics; Operating systems & graphical user interfaces (GUIs); Programming languages; Programming - Systems Analysis & Design; Computers; Computer Books: General