Chaudhuri / Farzan | Computer Aided Verification | E-Book | sack.de
E-Book

E-Book, Englisch, 541 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Chaudhuri / Farzan Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
1. Auflage 2016
ISBN: 978-3-319-41528-4
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, 541 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-319-41528-4
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Chaudhuri / Farzan Computer Aided Verification jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Chaudhuri, Swarat
Farzan, Azadeh

Weitere Infos & Material

Probabilistic systems.- Synthesis.- Constraint solving.- Model checking.- Program analysis.- Timed and hybrid systems.- Verification in practice.- Concurrency.- Automata and games.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.