Ivan Perez – författare

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

3 produkter

Kategorier

3 produkter

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez - NASA Formal Methods, Häftad

NASA Formal Methods

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

AvAaron Dutle,Mariano M. Moscatom. fl.

Häftad, Engelska, 2021

1 189 kr

Skickas inom 10-15 vardagar

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez - NASA Formal Methods, Häftad

NASA Formal Methods

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

AvJyotirmoy V. Deshmukh,Klaus Havelundm. fl.

Häftad, Engelska, 2022

1 869 kr

Skickas inom 10-15 vardagar

Ivan Perez - Pepito The Cricket, Häftad

Pepito The Cricket

Häftad, Engelska, 2023

379 kr

Tillfälligt slut