عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I594 2008eb
QA76
.
9
.
F67
I594
2008eb
کتابخانه
محل استقرار
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
