home > paid book/ebook

Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : 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$82.83 discount!
PREVIEW
Related Documents
Computer Aided Verification: 7th International Conference, Cav '95', Liege, Belgium, July 3-5, 1995 Proceedings.

Computer Aided Verification: 7th International Conference, Cav '95', Liege, Belgium, July 3-5, 1995…

$87.70

Computer Aided Verification: 7th International Conference, Cav '95', Liege, Belgium, July 3-5, 1995 Proceedings.

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July…

$99.67 - $101.40

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings

Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, USA, July 7-14, 2008, Proceedings

Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, USA, July 7-14,…

$96.53

Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, USA, July 7-14, 2008, Proceedings

Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21,…

$61.38

Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June…

$70.15

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings

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

Discrete Geometry for Computer Imagery: 15th Iapr International Conference, Dgci 2009, Montreal, Canada, September 30 - October 2, 2009, Proceedings

Discrete Geometry for Computer Imagery: 15th Iapr International Conference, Dgci 2009, Montreal, Canada,…

$70.50 - $129.00

This book constitutes the refereed proceedings of the 15th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2009, held in Montréal, Canada, in September/October ...

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

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden,…

$68.73 - $89.95

This is the refereed proceedings of the 9th International Symposium on Component-Based Software Engineering, CBSE 2006, held in Västerås, Sweden in June/July 2006. The 22 revised full ...

Static Analysis: 7th International Symposium, Sas 2000, Santa Barbara, Ca, Usa, June 29 - July 1, 2000 Proceedings

Static Analysis: 7th International Symposium, Sas 2000, Santa Barbara, Ca, Usa, June 29 - July 1, 2000…

$80.88

Static Analysis: 7th International Symposium, Sas 2000, Santa Barbara, Ca, Usa, June 29 - July 1, 2000 Proceedings

loading