Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / Luboš Brim ... [et al.] (eds.).

Author/creator International Workshop on Formal Methods for Industrial Critical Systems
Other author Brim, Lubǒs.
Other author PDMC 2006 (2006 : Bonn, Germany)
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionx, 361 p. : ill. ; 24 cm.
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.
Computer software--Reliability. --Congresses.

Portion of title FMICS 2006
Portion of title PDMC 2006
SeriesLecture notes in computer science, 0302-9743 ; 4346
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2007921124
ISBN9783540709510 (pbk.)
ISBN3540709517 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available