Cover Image

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 /

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]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 4171.
Subjects:
Compilers (Computer programs) > Congresses.
Computer software > Quality control > Congresses.
Computer software > Verification > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:"State-of-the-art-survey"--Cover.
Electronic resource.
Physical Description:xxiii, 546 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540691499
9783540691495
DOI:10.1007/978-3-540-69149-5