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 - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel,... Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Kerstin Eder, Joao Louren o, Onn Shehory
R1,793 Discovery Miles 17 930
Add to cart
Ships in 18 - 22 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Dreams of Art (Paperback): Sue Clyne
Dreams of Art
Sue Clyne Paperback R590 Discovery Miles 5 900
Galaxy Bar Cocktails (Hardcover): Natasha Sideris
Galaxy Bar Cocktails
Natasha Sideris Hardcover R950 R810 Discovery Miles 8 100
Dala Puff Paint - 15 White (50ml):
Dala Puff Paint - 15 White (50ml)
R72 R61 Discovery Miles 610
The Restructuring of Romania's Economy - A Paradigm of Flexibility and Adaptability (Hardcover, New): Raphael Shen
The Restructuring of Romania's Economy…
Raphael Shen Hardcover R2,565 Discovery Miles 25 650
The London Philatelist; v. 11 1902 (Hardcover): Royal Philatelic Society (Great Brita
The London Philatelist; v. 11 1902
Royal Philatelic Society (Great Brita Hardcover R888 Discovery Miles 8 880
Origami: Japanese Paper Folding Made Easy - The Perfect Book for Beginners! (50 Classic Projects) (Paperback): Sakade
Origami: Japanese Paper Folding Made…
Sakade Paperback R326 R300 Discovery Miles 3 000
Transforming Urban Transport (Hardcover): Diane E. Davis, Alan Altshuler
Transforming Urban Transport
Diane E. Davis, Alan Altshuler Hardcover R2,703 Discovery Miles 27 030
Kainsmerk (Afrikaans, Paperback): Annelie Botes
Kainsmerk
Annelie Botes Paperback R360 R332 Discovery Miles 3 320
Media Studies: Volume 2 - Policy, Management And Media Representation (Paperback, 2nd edition (Revised Reprint)): Pieter J....
Media Studies: Volume 2 - Policy…
Pieter J. Fourie Paperback R722 Discovery Miles 7 220
The Fall Of The University Of Cape Town - Africa's Leading University In Decline (Paperback): David Benatar
The Fall Of The University Of Cape Town…
David Benatar Paperback R320 R295 Discovery Miles 2 950

 
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