Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Verification, Model Checking, and Abstract Interpretation

Über Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783031249495
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 400
  • Veröffentlicht:
  • 17. Januar 2023
  • Ausgabe:
  • 23001
  • Abmessungen:
  • 155x22x235 mm.
  • Gewicht:
  • 604 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Kund*innenbewertungen von Verification, Model Checking, and Abstract Interpretation



Ähnliche Bücher finden
Das Buch Verification, Model Checking, and Abstract Interpretation ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.