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

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
BuchKartoniert, Paperback
468 Seiten
Englisch
Springererschienen am07.01.20152015
The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThe papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.
Zusammenfassung
Up-to-date results

Fast track conference proceedings

State-of-the-art report
Details
ISBN/GTIN978-3-662-46080-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2015
Erscheinungsdatum07.01.2015
Auflage2015
ReiheLecture Notes in Computer Science
Seiten468 Seiten
SpracheEnglisch
Gewicht733 g
IllustrationenXVIII, 468 p. 102 illus.
Artikel-Nr.15553000

Inhalt/Kritik

Inhaltsverzeichnis
Program verification.- Model checking.- Abstract interpretation.- Abstract domains.- Program synthesis.- Static analysis.- Deductive methods.- Program certification.- Error diagnosis.- Program transformation.- Hybrid and cyberphysical systems.mehr

Schlagworte