1. Teaching formal methods
المؤلف: / C. Neville Dean, Raymond T. Boute (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)- Study and teaching- Congresses,Computer software- Development- Study and teaching- Congresses
رده :
QA76
.
9
.
F67
,
T46
2004
R