Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Bibliographic Details
Published in:Springer e-books
Main Author: Edelkamp, Stefan
Corporate Author: SpringerLink (Online service)
Other Authors: Lomuscio, Alessio
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-74128-2
Перейти в каталог НБ ТГУ
Description
ISBN:9783540741282
ISSN:0302-9743 ;

Similar Items