Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, ProceedingsThomas Ball, Sriram K. Rajamani650 kr
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, ProceedingsThomas Ball, Sriram K. Rajamani650 kr
NyhetTsaren i egen hög person : hur Vladimir Putin lurade oss allaRoman Badanin, Michail RubinInbunden349 kr