Autor: Alain Finkel

Support

2 Ebooks von Alain Finkel

Cover von Gerard Berry & Hubert Comon: Computer Aided Verification
Gerard Berry & Hubert Comon: Computer Aided Verification
…
PDF
Englisch
DRM
€115.37
Cover von 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 t …
PDF
Englisch
DRM
€51.18