-
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
-
وارد کنندة اطلاعات
محمدزاده
-
Link To Document :
