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

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
Prix mis à jour le: 25-05-2026 22:40:18 Produit utilisé
Voir l'offre
Identifiants
ISBN Springer Berlin Heidelberg 3540610421
MPN Springer Berlin Heidelberg 6943940
Dimensions / poids
Fonctionnalités clés
Springer Berlin Heidelberg