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

Général

Marque
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540627901
MPN
Springer Berlin Heidelberg 6944896

Caractéristiques

Menu