2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Verification, Model Checking, and Abstract Interpretation

  • Kartonierter Einband
  • 560 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract ... Weiterlesen
CHF 107.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Includes supplementary material: sn.pub/extras



Inhalt
Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.

Produktinformationen

Titel: Verification, Model Checking, and Abstract Interpretation
Untertitel: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Editor:
EAN: 9783319737201
ISBN: 3319737201
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 560
Gewicht: 838g
Größe: H235mm x B155mm x T29mm
Jahr: 2018
Untertitel: Englisch
Auflage: 1st ed. 2018

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"