Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Herak

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Herak

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Herak

Barcode: 09783319516417
Brand: Springer International Publishing
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 International Publishing

The Answer Machine
The Answer Machine
from £23.79
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
Knowledge Graphs
Knowledge Graphs
from £46.74
Customizable Computing
Customizable Computing
from £23.79
Lung Sounds : An Advanced Signal Processing Perspective
Lung Sounds : An Advanced Signal Processing Perspective
from £23.79
Bioinstrumentation
Bioinstrumentation
from £23.79
Genome Refactoring
Genome Refactoring
from £15.29
BioNanotechnology
BioNanotechnology
from £23.79
Symmetry Problems : The Navier-Stokes Problem
Symmetry Problems : The Navier-Stokes Problem
from £23.79
Action Programming Languages
Action Programming Languages
from £21.24
Atomically Precise Metal Nanoclusters
Atomically Precise Metal Nanoclusters
from £38.24
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
Business Processes
Business Processes
from £23.79
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
Link Reversal Algorithms
Link Reversal Algorithms
from £23.79

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,
from £38.24
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee
from £38.24
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
from £38.24
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
from £38.24
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,
from £38.24
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa
from £76.08
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 2731, 2024, Proceedings, Part
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 2731, 2024, Proceedings, Part
from £64.99
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
from £76.08
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
from £38.24
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
from £110.08
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201
from £38.24
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
from £38.24
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
from £38.24
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
from £29.74
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
from £38.24
Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
from £38.24
Computational Intelligence and Intelligent Systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Computational Intelligence and Intelligent Systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
from £38.24
Computational Forensics : 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Paper
Computational Forensics : 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Paper
from £38.24
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
from £38.24
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
from £38.24