Anastasia Mavridou – författare
Visar alla böcker från författaren Anastasia Mavridou. Handla med fri frakt och snabb leverans.
7 produkter
NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Av Ritchie Lee, Susmit Jha m. fl.
Häftad, 2020
836 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the …
NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Av Dimitra Giannakopoulou, Anastasia Mavridou m. fl.
E-bok, 2020
1067 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the …
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Av Alberto Lluch Lafuente, Anastasia Mavridou
Häftad, 2021
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The …
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Av Anastasia Mavridou, Alberto Lluch Lafuente
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. …
Schöpferproblematik in Frankenstein von Mary Shelley und James Whale
Häftad, 2012
371 kr
Lägg i varukorg
