0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part... Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Rupak Majumdar, Viktor Kuncak
R3,010 Discovery Miles 30 100 Ships in 18 - 22 working days

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part... Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Paperback, 1st ed. 2017)
Rupak Majumdar, Viktor Kuncak
R3,063 Discovery Miles 30 630 Ships in 18 - 22 working days

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R3,966 Discovery Miles 39 660
Software Engineering: Principles and…
Tom Halt Hardcover R3,292 R2,982 Discovery Miles 29 820
Existence And Stability Of Nash…
Guilherme Carmona Hardcover R1,853 Discovery Miles 18 530
Game-Theoretic Models of the Political…
Randolph Sloof Hardcover R2,802 Discovery Miles 28 020
The Oxford Handbook of the Economics of…
Yann Bramoulle, Andrea Galeotti, … Hardcover R5,455 Discovery Miles 54 550
Trends in Control Theory and Partial…
Fatiha Alabau-Boussouira, Fabio Ancona, … Hardcover R3,994 Discovery Miles 39 940
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,266 Discovery Miles 12 660
Network Science, Nonlinear Science and…
Terry L. Friesz Hardcover R2,703 Discovery Miles 27 030
Software Engineering
Cheryl Jollymore Hardcover R3,281 R2,971 Discovery Miles 29 710
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,750 Discovery Miles 17 500

 

Partners