Hoppa till sidans huvudinnehåll

Aaron Dutle – författare

Visar alla böcker från författaren Aaron Dutle.
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 199 kr

Skickas inom 10-15 vardagar

Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods, Häftad
Del 15682 - Lecture Notes in Computer Science

NASA Formal Methods

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

AvAaron Dutle,Laura Humphreym. fl.

Häftad, Engelska, 2025

2 029 kr

Skickas inom 10-15 vardagar

Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods, Häftad

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

AvAaron Dutle,César Muñozm. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar