Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Eder, Kerstin (Επιμελητής έκδοσης), Lourenço, João (Επιμελητής έκδοσης), Shehory, Onn (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7261
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).
• Φυσική περιγραφή: XII, 263 p. 95 illus. online resource.
• ISBN: 9783642341885
• ISSN: 0302-9743 ;

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.