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

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Barcode: 09783319336930
Brand: Springer International Publishing
There are no offers for this product at this time.

More From Springer International Publishing

Electromagnetic Theory
Electromagnetic Theory
from £84.58
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
from £42.49
Circuit Analysis Laboratory Workbook
Circuit Analysis Laboratory Workbook
from £23.79
Customizable Computing
Customizable Computing
from £23.79
Symmetry Problems : The Navier-Stokes Problem
Symmetry Problems : The Navier-Stokes Problem
from £23.79
iRODS Primer 2 : Integrated Rule-Oriented Data System
iRODS Primer 2 : Integrated Rule-Oriented Data System
from £29.74
Information Communication
Information Communication
from £23.79
Argumentation Mining
Argumentation Mining
from £42.49
Speech Recognition Algorithms Using Weighted Finite-State Transducers
Speech Recognition Algorithms Using Weighted Finite-State Transducers
from £25.49
Disability Interactions : Creating Inclusive Innovations
Disability Interactions : Creating Inclusive Innovations
from £46.74
Fixed-Point Signal Processing
Fixed-Point Signal Processing
from £25.49
Answering Queries Using Views, Second Edition
Answering Queries Using Views, Second Edition
from £59.49
On Transactional Concurrency Control
On Transactional Concurrency Control
from £46.74
The Reaction Wheel Pendulum
The Reaction Wheel Pendulum
from £23.79
Regenerative Dentistry
Regenerative Dentistry
from £29.74
Digital Image Processing : An Algorithmic Introduction
Digital Image Processing : An Algorithmic Introduction
from £59.49
The Maximum Consensus Problem : Recent Algorithmic Advances
The Maximum Consensus Problem : Recent Algorithmic Advances
from £38.24
Automatic Text Simplification
Automatic Text Simplification
from £42.49
Die-stacking Architecture
Die-stacking Architecture
from £29.74
Data-Driven Personas
Data-Driven Personas
from £50.99

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

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 : 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
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
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
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 : 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
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 : 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 : 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
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 : 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
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings
from £38.24
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
from £38.24
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
from £46.74
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
from £38.24
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
from £31.75
Bioinformatics Research and Applications : 12th International Symposium, ISBRA 2016, Minsk, Belarus, June 5-8, 2016, Proceedings
Bioinformatics Research and Applications : 12th International Symposium, ISBRA 2016, Minsk, Belarus, June 5-8, 2016, Proceedings
from £38.24
Formal Concept Analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
Formal Concept Analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
from £38.24
Formal Power Series and Algebraic Combinatorics : 12th International Conference, FPSAC'00, Moscow, Russia, June 2000, Proceedings
Formal Power Series and Algebraic Combinatorics : 12th International Conference, FPSAC'00, Moscow, Russia, June 2000, Proceedings
from £212.08
Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
from £76.08