4 Ebooks by Alessandro Cimatti
Alessandro Cimatti & Marjan Sirjani: Software Engineering and Formal Methods
?This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers …
EPUB
Inggeris
DRM
€57.74
Marco Bernardo & Alessandro Cimatti: Formal Methods for Hardware Verification
…
PDF
Inggeris
DRM
€57.99
Alessandro Cimatti & Roberto Sebastiani: Theory and Applications of Satisfiability Testing — SAT 2012
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised …
PDF
Inggeris
DRM
€57.71
Alessandro Cimatti & Laura Titolo: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023.The 14 …
EPUB
Inggeris
DRM
€64.18
