लेखक: Alain Finkel

समर्थन

2 द्वारा ईबुक Alain Finkel

Gerard Berry & Hubert Comon: Computer Aided Verification
PDF
अंग्रेज़ी
DRM
€111.79
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
अंग्रेज़ी
DRM
€50.84