Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7,2022, Proceedings, Part II, Lecture Notes in Computer Science 13244

Erschienen am 30.04.2022, 1. Auflage 2022
42,79 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783030995263
Sprache: Englisch
Umfang: xxi, 493 S., 140 s/w Illustr., 493 p. 140 illus.
Einband: kartoniertes Buch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.