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