Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

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

Dental Pathology : A Practical Introduction
Dental Pathology : A Practical Introduction
from £76.08
Euro-Par 2002. Parallel Processing : 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings
Euro-Par 2002. Parallel Processing : 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings
from £76.08
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
from £76.08
Information Hiding : 4th International Workshop, IH 2001, Pittsburgh, PA, USA, April 25-27, 2001. Proceedings
Information Hiding : 4th International Workshop, IH 2001, Pittsburgh, PA, USA, April 25-27, 2001. Proceedings
from £38.24
Active Media Technology : 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001. Proceedings
Active Media Technology : 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001. Proceedings
from £38.24
Algorithms - ESA 2000 : 8th Annual European Symposium Saarbrucken, Germany, September 5-8, 2000 Proceedings
Algorithms - ESA 2000 : 8th Annual European Symposium Saarbrucken, Germany, September 5-8, 2000 Proceedings
from £38.24
Discovery Science : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings
Discovery Science : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings
from £38.24
Fast Software Encryption : 8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers
Fast Software Encryption : 8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers
from £38.24
Combinatorial Pattern Matching : 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
Combinatorial Pattern Matching : 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
from £38.24
Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
from £38.24
RoboCup-99: Robot Soccer World Cup III
RoboCup-99: Robot Soccer World Cup III
from £76.08
Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000 Proceedings
Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000 Proceedings
from £38.24
Active Networks : IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings
Active Networks : IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings
from £38.24
High Performance Non-Oxide Ceramics II
High Performance Non-Oxide Ceramics II
from £152.58
RoboCup 2001: Robot Soccer World Cup V
RoboCup 2001: Robot Soccer World Cup V
from £38.24
Grid Computing - GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
Grid Computing - GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
from £38.24
Analytical Mechanics
Analytical Mechanics
from £76.08
Generic Programming : Advanced Lectures
Generic Programming : Advanced Lectures
from £33.99
Financial Cryptography : 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings
Financial Cryptography : 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings
from £38.24
Ant Algorithms : Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002. Proceedings
Ant Algorithms : Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002. Proceedings
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
from £38.24
Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
from £38.24
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
from £38.24
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
from £59.49
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
from £38.24
IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
from £76.08
Combinatorics on Words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
Combinatorics on Words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
from £35.69
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
from £38.24
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
from £38.24
Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings
Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings
from £38.24
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
from £76.08
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
from £38.24
Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
from £38.24
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
from £38.24
User Modeling, Adaption, and Personalization : 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013. Proceedings
User Modeling, Adaption, and Personalization : 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013. Proceedings
from £38.24
Co-created Effective, Agile, and Trusted eServices : 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013, Proceedings
Co-created Effective, Agile, and Trusted eServices : 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013, Proceedings
from £33.99
Image Analysis and Recognition : 10th International Conference, ICIAR, Aveiro, Portugal, June 26-28, 2013, Proceedings
Image Analysis and Recognition : 10th International Conference, ICIAR, Aveiro, Portugal, June 26-28, 2013, Proceedings
from £38.24
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
from £76.08
Product-Focused Software Process Improvement : 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009, Proceedings
Product-Focused Software Process Improvement : 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009, Proceedings
from £38.24
Image Analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings
Image Analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings
from £38.24