Book Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-2 Chaudhuri, Swarat ; Farzan, Azadeh

portada Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part I

Type

Physical Book

Publisher

Springer

Author

Chaudhuri, Swarat ; Farzan, Azadeh

Language

Inglés

Pages

541

Format

Paperback

Dimensions

23.4 x 15.6 x 2.9 cm

Weight

0.78 kg.

ISBN13

9783319415277

Synopsis "Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part I"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part I - Chaudhuri, Swarat ; Farzan, Azadeh

Synopsis "Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part I"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery