Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21вЂ"22, 2002 Revised Papers /

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21вЂ"22, 2002 Revised Papers /

Bibliographic Details
Main Author: Cortesi, Agostino
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Software engineering
Computer Science, general
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Online Access:http://dx.doi.org/10.1007/3-540-47813-2
Перейти в каталог НБ ТГУ

Internet

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

Similar Items