Tools and Algorithms for the Construction and Analysis of Systems

- 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

enthalten in Lecture Notes in Computer Science-Reihe

enthalten in Theoretical Computer Science and General Issues-Reihe

Tools and Algorithms for the Construction and Analysis of Systems

Sie sparen 11% des UVP sparen 11%

Taschenbuch
Versandfertig in 1-2 Wochen
38,00 €

Sprache:
Englisch

ISBN:
9783030451899

Verlag:
Springer Nature Switzerland AG

Einband:
Taschenbuch

Seitenzahl:
501

Veröffentlicht:
18 April 2020

Ausgabe:
12020

Abmessungen:
155x235x0 mm.

Gewicht:
801 g.

38,00 € inkl. MwSt.
~~42,79 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Kund*innenbewertungen von Tools and Algorithms for the Construction and Analysis of Systems

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Tools and Algorithms for the Construction and Analysis of Systems ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Tools and Algorithms for the Construction and Analysis of Systems

Kund*innenbewertungen von Tools and Algorithms for the Construction and Analysis of Systems

Willkommen bei den Tales Buchfreunden und -freundinnen