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 - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings... Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Paperback, 2012 ed.)
Madhusudan Parthasarathy, Sanjit A. Seshia
R1,543 Discovery Miles 15 430 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Groundculture How Well Do You Really…
GroundCulture CD R129 Discovery Miles 1 290
Wicked For Good: The Official Advent…
Insight Editions Novelty book R675 R489 Discovery Miles 4 890
Formula 1 Review: 1979
DVD R367 Discovery Miles 3 670
Track Day Warriors
DVD R385 Discovery Miles 3 850
Dakar Rally 2005
Colin McRae DVD R385 Discovery Miles 3 850
Head On: Hot Saloons and Hatchbacks
DVD R367 Discovery Miles 3 670
Being There - Backstories From The…
Tony Leon Paperback R350 R312 Discovery Miles 3 120
It's Not How It Looks
Zapiro Paperback  (2)
R240 R222 Discovery Miles 2 220
Know Them By Their Fruit - A Guide To…
A.T. Ankiewicz Paperback R661 Discovery Miles 6 610
WTF - Capturing Zuma: A Cartoonist's…
Zapiro Paperback R295 R272 Discovery Miles 2 720

 

Partners