1. Home
  2. Medien
  3. Bücher
  4. Tools and Algorithms for the Construction and Analysis of Systems
  • #
  • #

Tools and Algorithms for the Construction and Analysis of Systems

53.49 EUR

Entdecken Sie innovative Methoden zur Konstruktion und Analyse von Softwaresystemen anhand praxisnaher Fallstudien aus der TACAS‑Konferenz 2014, die neue Perspektiven in formaler Verifikation eröffnen.

Teilen:

Ähnliche Produkte

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)

53.49 EUR
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, Band 1055)

53.49 EUR
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)

53.49 EUR
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

53.49 EUR
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

53.49 EUR
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98

0.00