Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer-Verlag GmbH
SKU: ID12151372

Tools and Algorithms for the Construction and Analysis of Systems

53.49 EUR 20% Off 66.68 EUR

Entdecken Sie in diesem Band neueste Methoden zur formalen Analyse von Softwaresystemen, inklusive innovativer Modellierungswerkzeuge und effizienten Verifikationsalgorithmen aus der TACAS‑2019-Konferenz.

Marke: Springer-Verlag GmbH

ISBN: 3030174646

MPN: 35682953

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-20%

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems

Hugendubel

53.49 EUR 66.68 EUR

15-09-2026 23:47:41

Access to the deal

-20%

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Lijun Zhang, Tomás Vojnar

Galaxus.de

53.49 EUR 66.68 EUR

17-09-2026 20:09:38

Access to the deal

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems

SpringerLink DE

66.68 EUR 66.68 EUR

18-09-2026 18:10:56

Access to the deal

Tools and Algorithms for the Construction and Analysis of Systems

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Lijun Zhang, Tomás Vojnar

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl