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 (10th : 2005 : Lisbon, Portugal)
International Workshop on Formal Methods for Industrial Critical Systems (10th : 2005 : Lisbon, Portugal)
Title FMICS '05 [electronic resource] : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 / editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT.
Alternative Title Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Related title Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.
Publication Info New York : Association for Computing Machinery, c2005.


Click on the following to:
Full text available from ACM Digital Library
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Descript viii, 144 p. : ill. ; 28 cm.
Note "ACM Order Number 592055"--P. ii.
ISBN 1595931481
 Click on the terms below to find similar items in the catalogue
Conference International Workshop on Formal Methods for Industrial Critical Systems (10th : 2005 : Lisbon, Portugal)
International Workshop on Formal Methods for Industrial Critical Systems (10th : 2005 : Lisbon, Portugal)
Subject Formal methods (Computer science) -- Congresses.
Alt author ACM Sigsoft.
Alt Author ESEC/FSE (Conference)
Alt author Margaria-Steffen, Tiziana, 1964-
Massink, Mieke.
Alternative Title Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Related title Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.
Descript viii, 144 p. : ill. ; 28 cm.
Note "ACM Order Number 592055"--P. ii.
ISBN 1595931481
Conference International Workshop on Formal Methods for Industrial Critical Systems (10th : 2005 : Lisbon, Portugal)
International Workshop on Formal Methods for Industrial Critical Systems (10th : 2005 : Lisbon, Portugal)
Subject Formal methods (Computer science) -- Congresses.
Alt author ACM Sigsoft.
Alt Author ESEC/FSE (Conference)
Alt author Margaria-Steffen, Tiziana, 1964-
Massink, Mieke.
Alternative Title Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Related title Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.

Subject Formal methods (Computer science) -- Congresses.
Descript viii, 144 p. : ill. ; 28 cm.
Note "ACM Order Number 592055"--P. ii.
Alt author ACM Sigsoft.
Alt Author ESEC/FSE (Conference)
Alt author Margaria-Steffen, Tiziana, 1964-
Massink, Mieke.
ISBN 1595931481

Links and services for this item:

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