عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Integrated formal methods
پدید آورنده
John Derrick ... [et al.] (eds.)
موضوع
Formal methods (Computer science), Congresses,Software engineering, Congresses
رده
QA76
.
9
.
F67
I58
2012eb
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
3642307299 (electronic bk.)
9783642307294 (electronic bk.)
3642307280
9783642307287
b434636
Integrated formal methods
[Book]
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
John Derrick ... [et al.] (eds.)
New York :
Springer,
c2012
1 online resource (xii, 360 p.) :
ill
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
7321
1611-3349 ;
Includes bibliographical references and index
Integrated formal methods.
9783642307423
OhioLINK electronic book center (Online)
SpringerLink
IFM 2012
Formal methods (Computer science), Congresses
Software engineering, Congresses
004
.
01/51
23
QA76
.
9
.
F67
QA76
.
9
.
F67
I58
2012eb
I58
2012eb
Derrick, John,1963-
International Conference on Integrated Formal Methods(9th :2012 :, Pisa, Italy)
20130102095452.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح