Ivan Perez - Böcker

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

3 produkter

Kategorier

3 produkter

NASA Formal Methods

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

Av Aaron Dutle, Mariano M. Moscato m. fl

Häftad, Engelska, 2021

1 189 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

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

Av Jyotirmoy V. Deshmukh, Klaus Havelund m. fl

Häftad, Engelska, 2022

1 829 kr

Skickas inom 10-15 vardagar

Pepito The Cricket

Häftad, Engelska, 2023

379 kr

Tillfälligt slut