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 ...

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 364234187X
MPN
Springer Berlin Heidelberg 95 black & white illustrations, biograph

Eigenschaften

Menü