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 14846

AI Verification

Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

Häftad, 2024

1 427 kr

  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

5,0 utav 5 stjärnor. Totalt antal röster:(2)

209 kr259 kr

  • -23%

Kött

David Szalay

Inbunden, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(15)

199 kr259 kr

  • -30%
Del 3

Uppgörelsen

Elle Kennedy

Pocket, 2024

4,5 utav 5 stjärnor. Totalt antal röster:(11)

69 kr99 kr

  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,2 utav 5 stjärnor. Totalt antal röster:(25)

99 kr

  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,7 utav 5 stjärnor. Totalt antal röster:(16)

69 kr99 kr