Byron Cook - Böcker
Visar alla böcker från författaren Byron Cook.
3 produkter
3 produkter
Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Häftad, Engelska, 2007
709 kr
Skickas inom 10-15 vardagar
Formal Methods for Industrial Critical Systems
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Häftad, Engelska, 2009
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Häftad, Engelska, 2010
1 429 kr
Skickas inom 10-15 vardagar