Ivan Perez - Böcker

Visar alla böcker från författaren Ivan Perez.

2 produkter

Kategorier

2 produkter

NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

AvAaron Dutle,Mariano M. Moscato,Laura Titolo,César A. Muñoz,Ivan Perez,Cesar A. Munoz

Häftad, Engelska, 2021

1 159 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

AvJyotirmoy V. Deshmukh,Klaus Havelund,Ivan Perez

Häftad, Engelska, 2022

1 819 kr

Skickas inom 10-15 vardagar