Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11,2019, Proceedings, Lecture Notes in Computer Science 11823 - Programming and Software Engineering

53,49 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9783030311568
Sprache: Englisch
Umfang: x, 207 S., 305 s/w Illustr., 34 farbige Illustr.,
Auflage: 1. Auflage 2019
Einband: kartoniertes Buch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.