0
Your cart
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 1 of 1 matches in All Departments
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.
|
You may like...
Being A Black Springbok - The Thando…
Sibusiso Mjikeliso
Paperback
(2)
Sitting Pretty - White Afrikaans Women…
Christi van der Westhuizen
Paperback
(1)
Little Bird Of Auschwitz - How My Mother…
Alina Peretti, Jacques Peretti
Paperback
The Land Is Ours - Black Lawyers And The…
Tembeka Ngcukaitobi
Paperback
(11)
|