-
RecordNumber
2912
-
Author
Bjorner, Dines
-
Title
Formal specification and software development
-
Author Statement
Dines Bjorner, and Cliff B. Jones
-
Publication
Prentice-Hall International
-
Publication Year
1982
-
Collation
x, 501P., illus
-
Series
Prentice-Hall International series in computer science
-
Notes
0133290034 , Bibliography: P.459-487
-
Subject
Programming languages (Electronic computers) , Electronic digital computers -- Programming
-
ADDED ENTRIES
Jones, Cliff B. ,
-
LC Class
QA
-
LC Number
76.6
-
LC CutterNumber
.B575
-
Link To Document :
