Hardware and Software: Verification and Testing: 8th International Haifa Verific
60,77 €
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. On Behavioral Programming. - SMT in Verification, Modeling, and Testing at Microsoft.
Jetzt bei Ebay:
