Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

AvCorina S Pasareanu

E-bok
PDF, Engelska, 2009

708 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Malin Nordström - Kalla mig syster, Pocket
  • -30%
Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

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

69 kr99 kr

Magnus Abrahamsson, Anders Nilsson, Joakim Hansson - Noll tolerans, Inbunden
  • -22%

Noll tolerans

Magnus Abrahamsson, Anders Nilsson, Joakim Hansson

Inbunden, 2026

179 kr229 kr

David Szalay - Kött, Inbunden
  • -23%

Kött

David Szalay

Inbunden, 2026

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

199 kr259 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

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

209 kr259 kr

Kristin Hannah - Näktergalen, Pocket
  • 4 för 3

Näktergalen

Kristin Hannah

Pocket, 2023

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

99 kr

Fredrik Backman - Mina vänner, Pocket
  • 4 för 3

Mina vänner

Fredrik Backman

Pocket, 2026

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

99 kr