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...
Religion and Theology - Breakthroughs in…
Information Resources Management Association
Hardcover
R8,529
Discovery Miles 85 290
Handbook of Research on Chaos and…
Prof. Dr. Sefika Sule Ercetin, Prof. Dr. Huseyin Bagc
Hardcover
R8,061
Discovery Miles 80 610
A Modern Guide to Wellbeing Research
Beverley A. Searle, Jessica Pykett, …
Hardcover
R3,577
Discovery Miles 35 770
Township Economy - People, Spaces And…
Andrew Charman, Leif Petersen, …
Paperback
(1)
|