Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science, 1217, Band 1217)

Dieses Buch sammelt die Erkenntnisse des TACAS'97‑Workshops in Enschede und bietet einen Überblick über neue Werkzeuge zur Modellierung, Analyse u ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 07-05-2026 00:28:54
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540627901
MPN
Springer Berlin Heidelberg 6944896

Eigenschaften

Ähnliche Produkte

Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Produkt anzeigen
Menü