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,

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,

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

Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference
Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference
from £76.08
Architecture and Interaction : Human Computer Interaction in Space and Place
Architecture and Interaction : Human Computer Interaction in Space and Place
from £76.08
Biologics for the Treatment of Rheumatoid Arthritis
Biologics for the Treatment of Rheumatoid Arthritis
from £38.24
Black Objects in Supergravity : Proceedings of the INFN-Laboratori Nazionali di Frascati School 2011
Black Objects in Supergravity : Proceedings of the INFN-Laboratori Nazionali di Frascati School 2011
from £76.08
Ultra Low Power Transceiver for Wireless Body Area Networks
Ultra Low Power Transceiver for Wireless Body Area Networks
from £76.08
Conversations About Challenges in Computing
Conversations About Challenges in Computing
from £13.59
Solder Joint Reliability Assessment : Finite Element Simulation Methodology
Solder Joint Reliability Assessment : Finite Element Simulation Methodology
from £76.08
Vision Based Systemsfor UAV Applications
Vision Based Systemsfor UAV Applications
from £110.08
Discrete Geometry and Optimization
Discrete Geometry and Optimization
from £76.08
Green's Kernels and Meso-Scale Approximations in Perforated Domains
Green's Kernels and Meso-Scale Approximations in Perforated Domains
from £38.24
Palaeobiology of Middle Paleozoic Marine Brachiopods : A Case Study of Extinct Organisms in Classical Paleontology
Palaeobiology of Middle Paleozoic Marine Brachiopods : A Case Study of Extinct Organisms in Classical Paleontology
from £38.24
Transport and Logistics in a Globalizing World : A Focus on Italy
Transport and Logistics in a Globalizing World : A Focus on Italy
from £38.24
Compressed Sensing with Side Information on the Feasible Region
Compressed Sensing with Side Information on the Feasible Region
from £30.59
Double-Gyroid-Structured Functional Materials : Synthesis and Applications
Double-Gyroid-Structured Functional Materials : Synthesis and Applications
from £110.08
Clinical Psychology and the Philosophy of Science
Clinical Psychology and the Philosophy of Science
from £76.08
Media Rich Instruction : Connecting Curriculum To All Learners
Media Rich Instruction : Connecting Curriculum To All Learners
from £76.08
Exciting Interdisciplinary Physics : Quarks and Gluons / Atomic Nuclei / Relativity and Cosmology / Biological Systems
Exciting Interdisciplinary Physics : Quarks and Gluons / Atomic Nuclei / Relativity and Cosmology / Biological Systems
from £76.08
Multimedia Services in Intelligent Environments : Recommendation Services
Multimedia Services in Intelligent Environments : Recommendation Services
from £76.08
Classroom-oriented Research : Achievements and Challenges
Classroom-oriented Research : Achievements and Challenges
from £76.08
The Non-Ergodic Nature of Internal Conversion : An Experimental and Theoretical Approach
The Non-Ergodic Nature of Internal Conversion : An Experimental and Theoretical Approach
from £76.08

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

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. 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 : 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
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. 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 : 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 : 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 : 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
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
from £38.24
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
from £38.24
Ambient Intelligence- Software and Applications - 7th International Symposium on Ambient Intelligence (ISAmI 2016)
Ambient Intelligence- Software and Applications - 7th International Symposium on Ambient Intelligence (ISAmI 2016)
from £76.08
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
from £38.24
Computational Methods and Clinical Applications for Spine Imaging : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised
Computational Methods and Clinical Applications for Spine Imaging : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised
from £38.24
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
from £76.08
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
from £38.24
Grammatical Inference: Algorithms and Applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings
Grammatical Inference: Algorithms and Applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings
from £38.24