Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 12580324
Price: 53.79 EUR
Availability: InStock
Author: Swarat Chaudhuri
ISBN: 9783319415277

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Swarat Chaudhuri

Azadeh Farzan

Language

English

Book Paperback

Libristo code: 12580324

Publishers Springer International Publishing AG, July 2016

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Full description

Libristo code: 12580324

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Frankenstein. Bd.2 Hans Schmid

Hardback

48.00 €

Bu Da Gecer Ya Hu Okay Gönensin

Paperback

20.99 €

Filosofía de la elocuencia Antonio de Capmany y de Montpalau

Book

50.79 €

El entrenador y el equipo : aprendiendo a ser un buen entrenador de formación Mauro Valenciano Oller

Paperback

14.99 €

Fundamentos de sistemas digitales Floyd

Paperback

96.39 €

Blut in den Bayous James Lee Burke

Paperback

20.00 €

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.??