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

AvKristin Yvonne Rozier,Swarat Chaudhuri

Engelska, 2023

653 kr

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

Produktinformation

Hoppa över listan

Du kanske också är intresserad av

Formal Methods

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Häftad

1 637 kr

Formal Methods

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

Häftad

442 kr