-
RecordNumber
24156
-
Author
Middelburg, Cornelis A. , Middelburg, Cornelis A.
-
Title
Logic and specifiction : extending VDM-SL for advanced formal specification
-
Author Statement
Cornelis A. Middelburg
-
Edition
1st English language ed
-
Publication
Chapman & Hall , Chapman & Hall
-
Publication Year
1993
-
Collation
xi,404p. cm
-
Series
Computer science: research and practice;1
-
Notes
0412486806 , Includes index
-
Subject
Logic, Symbolic and mathematical , Software engineering , Programming languages (Electronic computers) - Semantics
-
ADDED ENTRIES
,
-
LC Class
QA
-
LC Number
76.7
-
LC CutterNumber
.M53
-
LC Date
1993
-
Link To Document :
