Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Barcode: 09783642314247
Brand: Springer Berlin Heidelberg
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer Berlin Heidelberg

Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
from £38.24
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
from £76.08
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
from £38.24
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
from £38.24
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
from £38.24
Measuring Roots : An Updated Approach
Measuring Roots : An Updated Approach
from £152.58
Strongly Correlated Systems : Theoretical Methods
Strongly Correlated Systems : Theoretical Methods
from £169.58
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
from £38.24
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
from £38.24
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
from £38.24
Financial Derivatives Modeling
Financial Derivatives Modeling
from £38.24
HCI International 2011 Posters' Extended Abstracts : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II
HCI International 2011 Posters' Extended Abstracts : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II
from £76.08
Environmental Modeling : Using MATLAB
Environmental Modeling : Using MATLAB
from £76.08
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
from £38.24
Business Information Systems : 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings
Business Information Systems : 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings
from £38.24
Networked Digital Technologies : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings
Networked Digital Technologies : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings
from £76.08
Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
from £38.24
International Neurolaw : A Comparative Analysis
International Neurolaw : A Comparative Analysis
from £76.08
Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
from £38.24
Pediatric Bone Marrow
Pediatric Bone Marrow
from £152.58

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

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, Proceedings
from £76.08
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, 2008, Proceedings
from £76.50
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
from £38.24
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
from £38.24
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
from £38.24
Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
from £76.08
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
from £38.24
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
from £38.24
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
from £76.08
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
from £76.08
Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
from £76.08
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
from £38.24
Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
from £76.08
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
from £76.08
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 6-10, 2005, Proceedings
from £76.08
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
from £76.08
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
from £38.24
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
from £38.24
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
from £76.08
Information Hiding : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers
Information Hiding : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers
from £33.99