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 /

Formal methods [electronic resource] : 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 [and others] (eds.)

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany, PDMC 2006
Other Authors: Brim, Lubǒs
Other title:FMICS 2006.
PDMC 2006.
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2007.
Series:Lecture notes in computer science ; 4346.
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.
Computer programs > Reliability.
Computer programs > Verification.
Computer software > Reliability.
Computer software > Verification.
Formal methods (Computer science)
Software engineering.
Conference papers and proceedings.

Closed Stacks - Engineering Math & Physics Library - Stacks

Holdings details from Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number: QA76.9.F67 I594 2006
QA76.9.F67 I594 2006 Long missing

Similar Items