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: 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
Published in:Springer eBooks
Main Author: Meyer, Bertrand
Corporate Author: SpringerLink (Online service)
Other Authors: Woodcock, Jim
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Operating systems (Computers)
Software engineering
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-69149-5
Перейти в каталог НБ ТГУ
Description
ISBN:9783540691495
ISSN:0302-9743 ;

Similar Items