عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Model checking softwar
پدید آورنده
Alex Groce, Madanlal Musuvathi (eds.)
موضوع
SPIN (Computer file), Congresses,Computer software, Verification, Congresses
رده
QA
،
76
.
76
،.
V47
کتابخانه
كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
51214110
-
021
9783642223068
English Book
Model checking softwar
18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
Alex Groce, Madanlal Musuvathi (eds.)
Heidelberg
Springer,
2011
1 online resource (x, 193 p.) , ill.
Series: Lecture notes in computer science ;6823.0302-9743
Series: LNCS sublibrary.SL 1,Theoretical computer science and general issues.
Title
Includes bibliographical references and index.
SPIN (Computer file), Congresses
Computer software, Verification, Congresses
QA
76
.
76
.
V47
International SPIN Workshop(18th :2011 :Snowbird, Utah)
Groce, Alex.
Musuvathi, Madanlal.
Title: International SPIN Workshop
Title: Also known as:SPIN 2011
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح