Taschenbuch
Versandfertig in 1-2 Wochen
60,00 €

Über Verification, Model Checking, and Abstract Interpretation

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Sprache:
Englisch

ISBN:
9783319522333

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
560

Veröffentlicht:
12 Januar 2017

Ausgabe:
12017

Abmessungen:
155x235x30 mm.

Gewicht:
8657 g.

60,00 € inkl. MwSt.
~~60,00 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Verification, Model Checking, and Abstract Interpretation

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Verification, Model Checking, and Abstract Interpretation ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Verification, Model Checking, and Abstract Interpretation

Beschreibung von Verification, Model Checking, and Abstract Interpretation

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

Willkommen bei den Tales Buchfreunden und -freundinnen