Tools and Algorithms for the Construction and Analysis of Systems

Erfahren Sie, wie moderne Werkzeuge und Algorithmen komplexe Softwaresysteme modellieren, simulieren und verifizieren, anhand von Fallstudien aus der ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 07-05-2026 00:32:20
Siehe Produktangebot
Gesponsert
Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Klaus Havelund, Erika Abraham
Galaxus.de
53.49 EUR
Preis aktualisiert am: 05-05-2026 15:36:42
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 142 black & white illustrations, biograp
ISBN
Springer Berlin Heidelberg 364254861X

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: Second International Workshop, TACAS '96, Passau, Germany, March 27
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)
Produkt anzeigen
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)
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)
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science, 1019, Band 1019)
Produkt anzeigen
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27
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)
Produkt anzeigen
Menü