Autor: Isil Dillig
ISBN-13: 9783319737201
Einband: Book
Seiten: 540
Format: 236x157x32 mm
Sprache: Englisch

Verification, Model Checking, and Abstract Interpretation

10747, Lecture Notes in Computer Science
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
 Book
Sofort lieferbar | Versandkosten
In den Warenkorb
79,18 €
¿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.
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.

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

 

Rezensionen

Autor: Isil Dillig
ISBN-13:: 9783319737201
ISBN: 3319737201
Erscheinungsjahr: 10.01.2018
Verlag: Springer-Verlag GmbH
Gewicht: 856g
Seiten: 540
Sprache: Englisch
Auflage 2018
Sonstiges: Taschenbuch, 236x157x32 mm, 103 schwarz-weiße Abbildungen, Bibliographie