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

Toshikazu Kawaguchi - Innan kaffet kallnat, Pocket
  • 4 för 3
Del 1

Innan kaffet kallnat

Toshikazu Kawaguchi

Pocket, 2026

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

89 kr

Pascal Engman - Klanen, Pocket
  • 4 för 3
Del 1

Klanen

Pascal Engman

Pocket, 2026

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

89 kr

Maggie Haberman, Jonathan Swan - Regime Change, Inbunden
  • Nyhet

Regime Change

Maggie Haberman, Jonathan Swan

Inbunden, 2026

295 kr