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, Mar - Tiziana Margaria et Bernhard Steffen

6.17 EUR 6.17 EUR

25-04-2026 05:42:49