Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Etessami, Kousha
Corporate Author: SpringerLink (Online service)
Other Authors: Rajamani, Sriram K.
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Online Access:http://dx.doi.org/10.1007/b138445
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/b138445
Перейти в каталог НБ ТГУ

Similar Items