Verified Software theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions /

Annotation This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic method...

Full description

Saved in:
Bibliographic Details
Corporate Authors: VSTTE (Conference) Zurich, Switzerland), SpringerLink (Online service)
Other Authors: Meyer, Bertrand, 1950-, Woodcock, Jim
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2008.
Berlin ; New York : [2008]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 4171.
Physical Description:
1 online resource (xxiii, 546 pages) : illustrations.
Subjects:
Computer software -- Verification -- Congresses.
Computer software -- Quality control -- Congresses.
Compilers (Computer programs) -- 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