Anastasia Mavridou - Böcker

Visar alla böcker från författaren Anastasia Mavridou. Handla med fri frakt och snabb leverans.

5 produkter

Kategorier

5 produkter

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

AvRitchie Lee,Susmit Jham. fl.

Häftad, Engelska, 2020

813 kr

Skickas inom 10-15 vardagar

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.

Del 12863 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

AvAlberto Lluch Lafuente,Anastasia Mavridou

Häftad, Engelska, 2021

552 kr

Skickas inom 10-15 vardagar

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.