- 10% rabatt på allt
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
AvThomas Ball,Sriram K. Rajamani
Engelska, 2014
672 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Verified Software: Theories, Tools, Experiments
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Häftad, 2010
571 kr