Autor: Alain Finkel

Soporte

2 Ebooks de Alain Finkel

Portada de Gerard Berry & Hubert Comon: Computer Aided Verification
Gerard Berry & Hubert Comon: Computer Aided Verification
…
PDF
Inglés
DRM
€111.79
Portada de Alain Finkel & Jerome Leroux: Reachability Problems
Alain Finkel & Jerome Leroux: Reachability Problems
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented …
PDF
Inglés
DRM
€50.84