RecordNumber
:
17007
LC Class
:
QA
LC Number
:
76.7
LC CutterNumber
:
.M53
Dewey Class
:
005
Dewey Number
:
.1
Dewey Date
:
/2
Author
:
Middelburg, Cornelis A
Title
:
Logic and specifiction
Author Statement
:
Cornelis A. Middelburg
Edition
:
1st English language ed
Publication
:
Chapman
Collation
:
xi, 404p. : ill.
Notes
:
Includes index
Subject
:
Programming languages (Electronic computers)- Semantics,Software engineering,Logic, Symbolic and mathematical
Holding Info.
:
0412486806
DocumentNumber
:
12236
SubTitle
:
: extending VDM-SL for advanced formal specification
BL
:
BL
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=17007&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
