2 Ebooks tarafından Damien Zufferey
Majid Zamani & Damien Zufferey: Numerical Software Verification
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 – colocated with the International …
EPUB
İngilizce
DRM
€57.96
Dirk Beyer & Damien Zufferey: Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefu …
EPUB
İngilizce
DRM
€90.29
