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 /

Verified Software [electronic resource] : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions / [eds. Bertrand Meyer, Jim Woodcock]

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
Online Access: Full Text (via Springer)
Corporate Author: VSTTE (Conference) Zurich, Switzerland)
Other Authors: Meyer, Bertrand, 1950-, Woodcock, Jim
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2008.
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 4171.
Subjects:
Computer software > Verification > Congresses.
Computer software > Quality control > Congresses.
Compilers (Computer programs) > Congresses.
Compilers (Computer programs)
Computer software > Quality control.
Computer software > Verification.
Conference papers and proceedings.

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: QA76.76.V47 V73 2005eb
QA76.76.V47 V73 2005eb Available

Similar Items