-
RecordNumber
904
-
Author
Andrews, Derek
-
Title
Practical formal method with VDM
-
Author Statement
Derek Andrews , Darrel Ince
-
Publication
McGraw-Hill
-
Publication Year
[c1991]
-
Collation
xvi, 45op
-
Subject
Computer Daftuare-Development
-
ADDED ENTRIES
Ince, Darrel
-
Main Class
005
-
Sub Class
.1
-
Cutter no
A565p
-
وارد كنندة اطلاعات
Atabakhsh 1020^d//
-
Link To Document :
