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
Item Description:Includes index
Previous ed.: Basingstoke : Macmillan, 1991
Physical Description:xii, 164 p. : ill. ; 25 cm.
ISBN:0333763270 (pbk.)
9780333763278 (pbk.)