Verified Software: Theories, Tools, Experiments
Subtitle: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
By: edited by Bertrand Meyer, Jim Woodcock
Contributors: Woodcock, Jim; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 4171
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 546
ISBN-13: 9783540691471; 9783540691495
Subjects: Logic design; Artificial intelligence; Computer science; Software engineering; Operating systems (Computers)