Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Bibliographic Details
Published in:Springer e-books
Main Author: Bin, Eyal
Corporate Author: SpringerLink (Online service)
Other Authors: Ur, Shmuel, Ziv, Avi
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
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/978-3-540-70889-6
Перейти в каталог НБ ТГУ

Internet

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

Similar Items