Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
AvThomas Ball,Sriram K. Rajamani
Engelska, 2014
650 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
- 4 för 3
Del 1
- Nyhet
Tsaren i egen hög person : hur Vladimir Putin lurade oss alla
Roman Badanin, Michail Rubin
Inbunden
349 kr
- Signerad!
- -22%
Del 3
- 4 för 3
- -30%
Del 2
- 4 för 3
- Nyhet
- -22%
Del 1