Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Title Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / Gwen Salaün, Bernhard Schätz (eds.).
Publication Info Berlin ; New York : Springer, c2011.


Click on the following to:
Full text available from SpringerLink ebooks - Computer Science (2011)
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Descript x, 259 p. : ill. ; 24 cm.
 Click on the terms below to find similar items in the catalogue
Conference International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Series Lecture notes in computer science, 6959
LNCS sublibrary: SL 2-programming and software engineering
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Alt author Salaün, G. (Gwen)
Schätz, Bernhard.
Descript x, 259 p. : ill. ; 24 cm.
Conference International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Series Lecture notes in computer science, 6959
LNCS sublibrary: SL 2-programming and software engineering
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Alt author Salaün, G. (Gwen)
Schätz, Bernhard.

Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Descript x, 259 p. : ill. ; 24 cm.
Alt author Salaün, G. (Gwen)
Schätz, Bernhard.

Links and services for this item:

Persistent link to this item
Click link and copy URL from browser navigation toolbar