عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I594 2012eb
QA76
.
9
.
F67
I594
2012eb
کتابخانه
محل استقرار
364232469X (electronic bk.)
9783642324697 (electronic bk.)
3642324681
9783642324680
b434764
Formal methods for industrial critical systems
[Book]
17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
Mariëlle Stoelinga, Ralf Pinger (eds.)
New York :
Springer,
c2012
1 online resource (xiv, 221 p.) :
ill. (some col.)
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
7437
0302-9743 ;
Includes bibliographical references and index
Formal Methods for Industrial Critical Systems.
9783642324680
OhioLINK electronic book center (Online)
SpringerLink
FMICS 2012
Computer programs-- Reliability, Congresses
Computer programs-- Verification, Congresses
Formal methods (Computer science), Congresses
Software engineering, Congresses
004
.
01/51
23
QA76
.
9
.
F67
QA76
.
9
.
F67
I594
2012eb
I594
2012eb
Pinger, Ralf
Stoelinga, Mariëlle
International Workshop on Formal Methods for Industrial Critical Systems(17th :2012 :, Paris, France)
20130304114535.0
مطالعه متن کتاب [Book]
Y
