banner-tegeler-buecherstube-hdneu.jpg

banner-buchhandlung-menger-hdneu.jpg

banner-buchhandlung-haberland-hdneu.jpg

banner-buchhandlung-anagramm-hd_1.jpg

0

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11,2024, Proceedings, Part II, Lecture Notes in Computer Science 14571

Erschienen am 05.04.2024, 1. Auflage 2024
42,79 €
(inkl. MwSt.)

Vorbestellung vorauss. lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783031572487
Sprache: Englisch
Umfang: xxi, 386 S., 30 s/w Illustr., 113 farbige Illustr.
Einband: kartoniertes Buch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.