Home
Hardware and Software by Kerstin Eder, Paperback | Indigo Chapters
Coles
Hardware and Software by Kerstin Eder, Paperback | Indigo Chapters
From Kerstin Eder
Current price: $105.50
Loading Inventory...
Size: 1 x 9.25 x 1
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
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. | Hardware and Software by Kerstin Eder, Paperback | Indigo Chapters
You May Also Like
More About Coles at Bramalea City Centre
Making Connections. Creating Experiences. We exist to add a little joy to our customers’ lives, each time they interact with us.
Store Info
