3 Ebooks door Parosh Aziz Abdulla
Parosh Aziz Abdulla & Carole Delporte-Gallet: Networked Systems
This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016.The 22 full papers and 11 short paper …
PDF
Engels
DRM
€57.17
Parosh Aziz Abdulla & K. Rustan M. Leino: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, Mar …
PDF
Engels
DRM
€57.65
Parosh Aziz Abdulla & Igor Potapov: Reachability Problems
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised p …
PDF
Engels
DRM
€51.27
