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.).

Author/creator International Workshop on Formal Methods for Industrial Critical Systems
Other author Salaün, G. (Gwen)
Other author Schätz, Bernhard.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionx, 259 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2011 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Formal methods (Computer science)--Congresses.
Software engineering--Congresses.
Computer programs--Verification. --Congresses.
Computer programs--Reliability. --Congresses.
Computer software--Verification. --Congresses.

SeriesLecture notes in computer science, 0302-9743 ; 6959
LNCS sublibrary: SL 2-programming and software engineering
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2011936880
ISBN9783642244308 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available