Tools and Algorithms for the Construction and Analysis of Systems, Kartoniert / Broschiert

Tools and Algorithms for the Construction and Analysis of Systems

Buch

32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 21.4.2026.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.

Aktueller Preis: EUR 52,04

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Guy Katz, Sebastian Junges
Verlag:: Springer Nature Switzerland AG, 04/2026
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032227485
Artikelnummer:: 12674783
Umfang:: 583 Seiten
Erscheinungstermin:: 21.4.2026
Serie:: Lecture Notes in Computer Science
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Weitere Ausgaben von Tools and Algorithms for the Construction and Analysis of Systems	Preis
Buch, Kartoniert / Broschiert, Englisch	EUR 52,04*

Klappentext

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.