Thomas Ball – författare
Visar alla böcker från författaren Thomas Ball. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
579 kr
Skickas inom 5-8 vardagar
409 kr
Skickas inom 5-8 vardagar
489 kr
Skickas inom 5-8 vardagar
279 kr
Skickas inom 5-8 vardagar
439 kr
Skickas inom 5-8 vardagar
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Häftad, Engelska, 2006
1 429 kr
Skickas inom 10-15 vardagar
Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Häftad, Engelska, 2003
719 kr
Skickas inom 10-15 vardagar