Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Godefroid, Patrick
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Software engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Online Access:http://dx.doi.org/10.1007/11537328
Перейти в каталог НБ ТГУ
Description
ISBN:9783540318996
ISSN:0302-9743 ;

Similar Items