Formal specification using Z

Bibliographic Details
Main Author: Lightfoot, David 1951- (Author)
Format: Book
Language:English
Published: Basingstoke ; New York Palgrave c2001
Edition:2nd ed
Series:Grassroots series
Subjects:
Description
Physical Description:xii, 164 p. ill. 25 cm
ISBN:0333763270 (pbk.)
9780333763278 (pbk.)