Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
BuchKartoniert, Paperback
558 Seiten
Englisch
Springererschienen am26.12.20151st ed. 2016
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.
Details
ISBN/GTIN978-3-662-49121-8
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2015
Erscheinungsdatum26.12.2015
Auflage1st ed. 2016
ReiheLecture Notes in Computer Science
Seiten558 Seiten
SpracheEnglisch
Gewicht856 g
IllustrationenXIII, 558 p. 123 illus. in color.
Artikel-Nr.36273918

Inhalt/Kritik

Inhaltsverzeichnis
Abstract Interpretation.- Abstraction.- Hybrid and Timed Systems.- Dynamic and Static Verification.- Probabilistic Systems.- Concurrent Programs.- Parameterized and Component-Based Systems.- Solver Improvements.mehr

Schlagworte