Doron A. Peled - Böcker
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
1 439 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
719 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
719 kr
Skickas inom 10-15 vardagar
Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
719 kr
Skickas inom 10-15 vardagar
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
719 kr
Skickas inom 10-15 vardagar