Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

AvThomas Ball,Sriram K. Rajamani

Engelska, 2014

644 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Hoppa över listan

Du kanske också är intresserad av

  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

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

209 kr259 kr