Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherl - Ed Brinksma

6.17 EUR

Marque: Springer Berlin Heidelberg

ISBN: 3540627901

MPN: 6944896

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: Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2 - Ed Brinksma

6.17 EUR 6.17 EUR

19-06-2026 18:28:43