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

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

75.22 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