NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

AvKristin Yvonne Rozier,Swarat Chaudhuri

Engelska, 2023

667 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Hoppa över listan

Du kanske också är intresserad av

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Häftad, 2024

451 kr