Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
AvGeorgiana Caltais,Christian Schilling
Engelska, 2023
652 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 798 kr
Del 16831
Del 14846
AI Verification
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Häftad, 2024
1 477 kr
- 10% rabatt på allt
Del 11