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

Computer Aided Verification - 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings... Computer Aided Verification - 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Paperback, 2003 ed.)
Warren A. Hunt Jr, Fabio Somenzi
R1,721 Discovery Miles 17 210
Add to cart
Ships in 10 - 15 working days

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.

The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Weapons Grade (Paperback): Don Bentley
Weapons Grade
Don Bentley Paperback R495 R464 Discovery Miles 4 640
The Cabbage who wished to have wings (Hardcover): Malcolm Van Biervliet
The Cabbage who wished to have wings
Malcolm Van Biervliet Hardcover R569 Discovery Miles 5 690
Black Ops - Zulu (Hardcover): Arthur Bozikas
Black Ops - Zulu
Arthur Bozikas Hardcover R675 Discovery Miles 6 750
Gesammelte Werke / Collected Works, v. 1 (English, German, Hardcover, 1992 ed.): Karl Schwarzschild
Gesammelte Werke / Collected Works, v. 1
Karl Schwarzschild Hardcover R5,224 R4,048 Discovery Miles 40 480
The Power of Gifts - Gift Exchange in Early Modern England (Hardcover): Felicity Heal
The Power of Gifts - Gift Exchange in…
Felicity Heal Hardcover R3,907 Discovery Miles 39 070
A Covenant Of Spies (Large print, Hardcover, Large type / large print edition): Daniel Kemp
A Covenant Of Spies
Daniel Kemp Hardcover R1,190 R1,027 Discovery Miles 10 270
Divine Rivals - Letters Of Enchantment: Book 1 (Paperback): Rebecca Ross
Divine Rivals - Letters Of Enchantment…
Rebecca Ross Paperback R414 R389 Discovery Miles 3 890
The Palestine Laboratory - How Israel Exports The Technology Of Occupation Around The World (Paperback): Antony Loewenstein
The Palestine Laboratory - How Israel…
Antony Loewenstein Paperback R300 R277 Discovery Miles 2 770
Appointment with the Wise Old Dog - A Bridge to the Transformative Power of Dreams (Hardcover): David Blum
Appointment with the Wise Old Dog - A…
David Blum Hardcover R1,244 Discovery Miles 12 440
The Gettysburg Address - Perspectives on Lincoln's Greatest Speech (Hardcover): Sean Conant
The Gettysburg Address - Perspectives on…
Sean Conant Hardcover R2,499 Discovery Miles 24 990

 
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