مؤلف: Ivan Perez

الدعم

3 كتب إلكترونية بواسطة Ivan Perez

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
Jyotirmoy V. Deshmukh & Klaus Havelund: NASA Formal Methods
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in …
EPUB
الإنجليزية
DRM
€140.64
Ivan Perez: Pepito The Cricket
Discover the enchanting world of Pepito the Cricket in this heartwarming and inspirational children’s book that teaches the importance of perseverance and self-discovery. Dive into the vibrant forest …
EPUB
الإنجليزية
DRM
€6.49