0

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21,2020, Proceedings, Lecture Notes in Computer Science 11990 - Theoretical Computer Science and General Issues

Erschienen am 07.02.2020, 1. Auflage 2020
85,59 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783030393212
Sprache: Englisch
Umfang: xiv, 471 S., 918 s/w Illustr., 63 farbige Illustr.
Einband: kartoniertes Buch

Produktsicherheitsverordnung

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg