Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Barcode: 09783642391767
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

Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
from £76.08
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
Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
from £38.24
Enabling Responsible Living
Enabling Responsible Living
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
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 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
Smart Power Grids 2011
Smart Power Grids 2011
from £152.58
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
Cusped Shell-Like Structures
Cusped Shell-Like Structures
from £38.24
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
Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
from £38.24
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 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
Modeling Fragile X Syndrome
Modeling Fragile X Syndrome
from £152.58
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

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
from £76.08
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
from £38.24
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
from £38.24
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
from £38.24
Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
from £35.69
Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
from £38.24
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
from £38.24
Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
from £38.24
SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
from £38.24
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
from £38.24
Component-Based Software Engineering : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
Component-Based Software Engineering : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
from £38.24
Privacy Enhancing Technologies : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings
Privacy Enhancing Technologies : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings
from £33.99
Case-Based Reasoning Research and Development : 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013, Proceedings
Case-Based Reasoning Research and Development : 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013, Proceedings
from £38.24
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
from £38.24
Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
from £38.24
Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
from £38.24
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
from £38.24
Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
from £38.24
String Processing and Information Retrieval : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings
String Processing and Information Retrieval : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings
from £38.24
Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
from £38.24