RecordNumber
34634
Author
Bottaci, Leonardo
Title
Formal specification using Z: a modelling approach
Author Statement
Leonardo Bottaci, John Jones
Publication
International Thomson Publishing
Publication Year
1995
Collation
xii, 320P., illus
Notes
1850321094
Subject
Z (Computer program language)
ADDED ENTRIES
Jones, John ,
LC Class
QA
LC Number
76.73
LC CutterNumber
.Z2B6
LC Date
1995
وارد کنندة اطلاعات
محمدزاده