-
RecordNumber
69159
-
Author
^aInternational symposium of VDM Europe. 3rd, Brussels, 1990.
-
Title
VDMʹ 90 VDM and Z- Formal methods in software development, proceedings of...
-
Editor
D. Bjorner ¶ C. A. R. Hoare ¶ H. Langmaack (eds.)
-
Publication
Springer
-
Publication Year
c1990
-
Collation
xvii, 579p.: ill, diagrs, tables
-
Series
Lecture notes in computer science; 428
-
Bibliography
Includes bibliographies
-
Subject
Computer software- Congresses
-
ADDED ENTRIES
Bjorner, D., ed , ^dSeries: Lecture notes in computer science; 428
-
Main Class
005
-
Sub Class
.1
-
Cutter no
I61v
-
Date
1990
-
وارد كنندة اطلاعات
soltani^d2003/05/24 10:04:24
-
Link To Document :
