Hoppa till sidans huvudinnehåll

Aaron Dutle - Böcker

Visar alla böcker från författaren Aaron Dutle.
3 produkter

NASA Formal Methods

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

AvAaron Dutle,Mariano M. Moscato m. fl.

Häftad, Engelska, 2021

1 169 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

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

AvAaron Dutle,Laura Humphrey m. fl.

Häftad, Engelska, 2025

1 839 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

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

AvAaron Dutle,César Muñoz m. fl.

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar