عنوان
پدید آورنده
موضوع
رده
QA 76.758 .C43 2004
QA
76
.
758
.
C43
2004
کتابخانه
محل استقرار
0333992814
IR
44496
انگلیسی
IR
Formal software developmentfrom VDM to Java
[Book]
/ Quentin Charatan and Aaron Kans
Basingstoke
: Palgrave Macmillan
, 2004
xi, 239 p.
:
English
Includes index
Computer software -- Development
Formal methods (computer science)
QA
76
.
758
.
C43
2004
Charatan, Quentin, author
ebrary, Inc
Kans, Aaron, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
