Tools and Algorithms for the Construction and Analysis of Systems

Ein kompakter Leitfaden, der die neuesten Methoden zur Modellierung von Softwaresystemen aus der TACAS‑Konferenz zusammenführt, praktische Algorith ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 17-09-2026 12:35:11
Gesponsert
53.49 EUR
Preis aktualisiert am: 20-09-2026 22:39:24

Allgemein

Marke
Springer
ISBN
Springer 3030174611

Eigenschaften

Menü