Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, Ma - Tiziana Margaria et Bernhard Steffen

6.17 EUR

Marque: Springer Berlin Heidelberg

ISBN: 3540610421

MPN: 6943940

Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

Sponsorisé Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19 - Tiziana Margaria, Bernhard Steffen

6.17 EUR 6.17 EUR

11-06-2026 06:35:59