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
