Daniel Kroening - Böcker
719 kr
Skickas inom 10-15 vardagar
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
689 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
1 159 kr
Skickas inom 5-8 vardagar
389 kr
Skickas inom 10-15 vardagar
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 5-8 vardagar
479 kr
Skickas inom 5-8 vardagar
939 kr
Tillfälligt slut