Автор: Laura Titolo

Підтримка

2 Електронні книги від Laura Titolo

Aaron Dutle & Mariano M. Moscato: NASA Formal Methods
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were car …
EPUB
Англійська
DRM
€96.10
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
Англійська
DRM
€64.18