عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal methods for industrial critical systems :
پدید آورنده
Darren Cofer, Alessandro Fantechi (eds.).
موضوع
Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده
QA76
.
9
.
F67
I594
2008eb
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
3642032400 (e-isbn)
9783642032400 (e-isbn)
3642032397
9783642032394
b509235
Formal methods for industrial critical systems :
[Book]
13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Darren Cofer, Alessandro Fantechi (eds.).
Berlin :
Springer,
[2009]
©2009
1 online resource (x, 231 pages) :
illustrations (some color).
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
5596
0302-9743 ;
Includes bibliographical references
Formal methods for industrial critical systems.
9783642032394
OhioLINK electronic book center (Online)
SpringerLink
FMICS 2008
Computer programs-- Reliability, Congresses.
Computer programs-- Verification, Congresses.
Computer software-- Reliability, Congresses.
Computer software-- Verification, Congresses.
Formal methods (Computer science), Congresses.
Software engineering, Congresses.
QA
005
.
13/1
22
QA76
.
9
.
F67
I594
2008eb
Cofer, Darren.
Fantechi, Alessandro.
International Workshop on Formal Methods for Industrial Critical Systems(13th :2008 :, L'Aquila, Italy)
Ohio Library and Information Network.
20100809095108.0
rda
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح