Book serie: / Книги серии: Lecture Notes in Computer Science 4383 : Programming and Software Engineering » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 4383 : Programming and Software Engineering

book 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

pdf

Author: Thomas Tuerk Klaus Schneider Mike Gordon (auth.) Eyal Bin Avi Ziv Shmuel Ur (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book 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

pdf

Author: Thomas Tuerk Klaus Schneider Mike Gordon (auth.) Eyal Bin Avi Ziv Shmuel Ur (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0