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