عنوان
پدید آورنده
موضوع
رده
QA 76.76 .C45F62
QA
76
.
76
.
C45F62
کتابخانه
محل استقرار
18892
Charatan, Quentin
formal Software Development: From VDM to JAVA
New York
Palgrave
2004
xii, 239p.: ill
ISBN: 0333992814
Index
، Computer software- Development- Congresses
QA
76
.
76
.
C45F62
AU
Quentin Charatan and Aaron Kans
TI
ه مرکزیانابخن کتش التیبخ
