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 209 kr

Skickas inom 10-15 vardagar

Del 13260

Del 13260 - Lecture Notes in Computer Science

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 879 kr

Skickas inom 10-15 vardagar

Pepito The Cricket

Häftad, Engelska, 2023

359 kr

Skickas inom 3-6 vardagar