عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Model checking software
پدید آورنده
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
موضوع
SPIN (Computer file),Computer software-- Verification, Congresses
رده
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
3540851135
9783540851134
b433816
Model checking software
[Book]
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
New York :
Springer,
c2008
Lecture notes in computer science ;
LNCS sublibrary.
SL 1,
Theoretical computer science and general issues
5156
Includes bibliographical references and index
Also available in print
OhioLINK electronic book center (Online)
SpringerLink
SPIN (Computer file)
Computer software-- Verification, Congresses
Havelund, Klaus,1955-
Majumdar, Rupak
Palsberg, Jens
International SPIN Workshop(15th :2008 :, Los Angeles, Calif.)
20081107121532.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح