Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Theoretical Computer Science and General Issues 9780 (Paperback)
  • Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Theoretical Computer Science and General Issues 9780 (Paperback)
zoom

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Theoretical Computer Science and General Issues 9780 (Paperback)

(editor), (editor)
£69.99
Paperback 521 Pages / Published: 14/07/2016
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.

The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.

Publisher: Springer International Publishing AG
ISBN: 9783319415390
Number of pages: 521
Weight: 8073 g
Dimensions: 235 x 155 x 28 mm
Edition: 1st ed. 2016

You may also be interested in...

Algorithms Unlocked
Added to basket
Gynaecology: Evidence-Based Algorithms
Added to basket
Concise Guide to Databases
Added to basket
Introduction to Algorithms
Added to basket
Purely Functional Data Structures
Added to basket
The End of Error
Added to basket
Understanding Cryptography
Added to basket
Understanding Cryptography
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Algorithms
Added to basket
£66.49
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.