عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Rigorous software development an introduction to program verification
پدید آورنده
Josae Bacelar Almeida ... ]et al.[
موضوع
، Computer software, Verification,، Computer software, Development
رده
QA
76
.
76
.
V47
R54
2011
کتابخانه
كتابخانه و مركز اسناد دانشگاه كردستان
محل استقرار
استان:
کردستان
ـ شهر:
سنندج
تماس با کتابخانه :
33624006
-
087
1965
Rigorous software development an introduction to program verification
London
Springer
c2011
xii, 263 p. , 23 cm.
Undergraduate topics in computer science,3681-0137
Includes bibliographical references and index.
، Computer software, Verification
، Computer software, Development
005
.
14
QA
76
.
76
.
V47
R54
2011
TI
Josae Bacelar Almeida ... ]et al.[
AU .ralecaB easoJ ,adiemlA
لاه دیجیتانابخکت
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح