Formal Specification Using Z. (Computer Science)
Publisher: Palgrave Macmillan
Published: June 28, 1991
Format: Paperback
Number of pages: 176
ISBN-13: 9780333544082
Subjects: Mathematical theory of computation; Programming languages