Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel,... Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Paperback, 2013 ed.)
Armin Biere, Amir Nahir, Tanja Vos
R1,295 Discovery Miles 12 950
Add to cart
Ships in 18 - 22 working days

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Summer Hikaru Died, Vol. 1 (Paperback): Mokumokuren
The Summer Hikaru Died, Vol. 1
Mokumokuren Paperback R360 R321 Discovery Miles 3 210
New Times (Paperback): Rehana Rossouw
New Times
Rehana Rossouw Paperback  (1)
 R280 R259 Discovery Miles 2 590
Someone Else's Shoes (Paperback): Jojo Moyes
Someone Else's Shoes
Jojo Moyes Paperback R395 R365 Discovery Miles 3 650
DCeased (Paperback):
DCeased
Paperback R294 R240 Discovery Miles 2 400
The Butler (Paperback): Danielle Steel
The Butler
Danielle Steel Paperback R394 Discovery Miles 3 940
Into The Uncut Grass (Hardcover): Trevor Noah
Into The Uncut Grass
Trevor Noah Hardcover  (1)
 R299 R271 Discovery Miles 2 710
The Henna Artist (Paperback, International ed.): Alka Joshi
The Henna Artist
Alka Joshi Paperback R373 Discovery Miles 3 730
Hollow Regalia, Volume 2 (Paperback): Matsuki Ugatsu
Hollow Regalia, Volume 2
Matsuki Ugatsu Paperback R271 R246 Discovery Miles 2 460
Dik Dun Thick Thin - Stories (Afrikaans, Paperback): Nataniel Nataniel
Dik Dun Thick Thin - Stories
Nataniel Nataniel Paperback R295 R264 Discovery Miles 2 640
Berserk Deluxe Volume 6 (Hardcover): Kentaro Miura, Duane Johnson
Berserk Deluxe Volume 6
Kentaro Miura, Duane Johnson Hardcover R1,602 R1,348 Discovery Miles 13 480

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners