Del 13872
Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
AvGeorgiana Caltais,Christian Schilling
Engelska, 2023
631 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 15593
Del 14846
AI Verification
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Häftad
1 415 kr
- -22%
Del 1
- -22%
Del 3
- -30%
- 4 för 3
- 4 för 3
Del 1
- 4 för 3