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