5 Ebooks oleh Andreas Podelski
Andreas Podelski & Francois Taiani: Networked Systems
This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018.The 22 full and 6 sh …
EPUB
Inggris
DRM
€57.78
Andreas Podelski: Static Analysis
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were car …
EPUB
Inggris
DRM
€57.05
Kurt Jensen & Andreas Podelski: Tools and Algorithms for the Construction and Analysis of Systems
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, …
PDF
Inggris
DRM
€114.21
Byron Cook & Andreas Podelski: Verification, Model Checking, and Abstract Interpretation
…
PDF
Inggris
DRM
€57.99
Rajeev Joshi & Peter Muller: Verified Software: Theories, Tools, Experiments
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 rev …
PDF
Inggris
DRM
€57.99