‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Linksbuch Neu neu Rechtsbuch

Chaudhuri, Swarat (Herausgeber); Farzan, Azadeh (Herausgeber)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 9779

Springer-Verlag GmbH, Springer International Publishing, August 2016


511 S. - Sprache: Englisch - 125 schwarz-weiße Abbildungen, Bibliographie - 238x159x33 mm Book

ISBN: 3319415271 EAN: 9783319415277

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.


Preis: 85,59 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 85,59 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Inhaltsverzeichnis

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


ISBN 3-319-41527-1

ISBN 978-3-319-41527-7

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, von Csuhaj-Varjú, Ersébet (Herausgeber); Dietzfelbinger, Martin (Herausgeber); Ésik, Zoltán (Herausgeber
89,99 EUR

Software Architecture A Comprehensive Framework and Guide for Practitioners von Vogel, Oliver; Arnold, Ingo; Chughtai, Arif; Kehrer, Timo
58,84 EUR
Transactions on Computational Science XXXII Special Issue on Cybersecurity and Biometrics von Gavrilova, Marina (Herausgeber); Tan, C. J. Kenneth (Herausgeber); Sourin, Alexei (Herausgeber)
59,92 EUR

Human Ear Recognition by Computer von Bhanu, Bir; Chen, Hui
149,79 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2019 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.