Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... Notes in Computer Science, 1055, Band 1055)

Ein wissenschaftliches Werk, das die Ergebnisse des zweiten TACAS‑Workshops in Passau zusammenfasst und detaillierte Algorithmen sowie Modellierungs ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 07-05-2026 00:28:50

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540610421
MPN
Springer Berlin Heidelberg 6943940

Eigenschaften

Menü