Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France | Kaicus France

Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings - Gerard Berry, Hubert Comon et Alain Finkel

6.17 EUR

Marque: Springer
Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations