Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... Notes in Computer Science, Band 7261)
Erfahren Sie in diesem Sammelband die neuesten Fortschritte der Hardware‑ und Softwareverifikation aus der siebten Haifa-Konferenz, inklusive detail ...