home > paid book/ebook

Computer Aided Verification: 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Use coupon below to get discount at eCampus.com!

SHADES
$3 off textbook orders over $75

SUNBLOCK
$4 off textbook orders over $90

SUNSHINE
$5 off textbook orders over $100

Copy the coupon code before clicking the button!

AVAILABILITY
MerchantFormatPrice
eCampusPaperback$116.03 discount!
PREVIEW
Related Documents
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004, Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004,…

$97.45

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004, Proceedings

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June…

$75.14 - $89.95

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA ...

Computer Aided Vertification: 10th International Conference, Cav '98, Vancouver, Softcover $, Canada, June 28-July 2, 1998 Proceedings

Computer Aided Vertification: 10th International Conference, Cav '98, Vancouver, Softcover $, Canada,…

$10.53 - $109.00

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers ...

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000, Austin, Texas, Usa, November 1-3, 2000 : Proceedings

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000, Austin, Texas,…

$97.45

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000, Austin, Texas, Usa, November 1-3, 2000 : Proceedings

Formal Methods In Computer-aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Formal Methods In Computer-aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa,…

$81.90

Formal Methods In Computer-aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 ; Proceedings

Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark,…

$87.70

Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 ; Proceedings

Automated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 : Proceedings

Automated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June…

$125.78

Automated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 : Proceedings

Information Processing in Medical Imaging: 16th International Conference, Ipmi'99, Visegrad, Hungary, June 28-July 2, 1999

Information Processing in Medical Imaging: 16th International Conference, Ipmi'99, Visegrad, Hungary,…

$94.58

Information Processing in Medical Imaging: 16th International Conference, Ipmi'99, Visegrad, Hungary, June 28-July 2, 1999

Graph Based Representations in Pattern Recognition: 4th Iapr International Workshop, Gbrpr 2003, York, Uk, June 30-July 2, 2003 : Proceedings

Graph Based Representations in Pattern Recognition: 4th Iapr International Workshop, Gbrpr 2003, York,…

$52.65

Graph Based Representations in Pattern Recognition: 4th Iapr International Workshop, Gbrpr 2003, York, Uk, June 30-July 2, 2003 : Proceedings

loading