Integrated formal methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Annotation

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Integrated Formal Methods Pisa, Italy, SpringerLink (Online service)
Other Authors: Derrick, John, 1963- (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2012.
Berlin ; New York : [2012]
Series:Lecture notes in computer science ; 7321.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource (xii, 360 pages) : illustrations.
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items