Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, ProceedingsThomas Ball, Sriram K. Rajamani653 kr
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, ProceedingsThomas Ball, Sriram K. Rajamani653 kr
NyhetArbete i förändring : globalisering, digitalisering, hållbarhet och arbetets organiseringPeter Gladoic Håkansson (red.), Klara Öberg (red.)Häftad356 kr