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.



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: