Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / Stefan Kowalewski, Marco Roveri (eds.).

Author/creator International Workshop on Formal Methods for Industrial Critical Systems
Other author Kowalewski, S. (Stefan)
Other author Roveri, Marco.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxii, 230 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2010 English International
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 ; 6371
LNCS sublibrary: SL 2-programming and software engineering
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Other formsAlso issued online.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010934239
ISBN3642158978 (pbk. : alk. paper)
ISBN9783642158971 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available