Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Cousot, Radhia
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/b105073
Перейти в каталог НБ ТГУ

Internet

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

Similar Items