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

Où acheter (1) Caractéristiques

Sponsorisé

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

ammareal.fr
Produit utilisé

6.17 EUR

Prix mis à jour le: 30-04-2026 18:47:13

Voir l'offre

Général

Marque

Springer

Caractéristiques

Produits similaires

Boundary Element Techniques in Computer Aided Engineering

Boundary Element Techniques in Computer Aided Engineering - C.A. Brebbia

Computer Aided Service Engineering

Computer Aided Service Engineering

The VHDL Reference: A Practical Guide to Computer-Aided Integrated Circuit Design Including VHDL-Ams [With] VHDL-Ams

The VHDL Reference: A Practical Guide to Computer-Aided Integrated Circuit Design Including VHDL-Ams [With] VHDL-Ams

Computer-aided Forest Road Design

Computer-aided Forest Road Design

Food Properties and Computer-Aided Engineering of Food Processing Systems

Food Properties and Computer-Aided Engineering of Food Processing Systems - R.P. Singh et Augusto G. Medina

An Expert Systems Approach to Computer-Aided Design of Multivariable Systems

An Expert Systems Approach to Computer-Aided Design of Multivariable Systems - Grantham K.H. Pang et Alistair G.J. MacFarlane