ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

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

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
Engineering, Poverty, and the Earth
Engineering, Poverty, and the Earth
from £21.24
Arduino Microcontroller Processing for Everyone!
Arduino Microcontroller Processing for Everyone!
from £84.99
Introduction to Embedded Systems : Using ANSI C and the Arduino Development Environment
Introduction to Embedded Systems : Using ANSI C and the Arduino Development Environment
from £42.49
The Integrated Test Analysis Process for Structural Dynamic Systems
The Integrated Test Analysis Process for Structural Dynamic Systems
from £38.24
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 : Part I & II
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 : Part I & II
from £59.49
Fundamentals of Electronics : Book 2 AmplifiersAnalysis and Design
Fundamentals of Electronics : Book 2 AmplifiersAnalysis and Design
from £38.24
Pragmatic Electrical Engineering : Fundamentals
Pragmatic Electrical Engineering : Fundamentals
from £23.79
Designing Asynchronous Circuits using NULL Convention Logic (NCL)
Designing Asynchronous Circuits using NULL Convention Logic (NCL)
from £21.24
Network Simulation
Network Simulation
from £23.79
Engineering and Sustainable Community Development
Engineering and Sustainable Community Development
from £23.79
PSpice for Digital Signal Processing
PSpice for Digital Signal Processing
from £29.74
Pragmatic Circuits : Signals and Filters
Pragmatic Circuits : Signals and Filters
from £25.49
Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor
Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor
from £38.24
Introduction to Noise-Resilient Computing
Introduction to Noise-Resilient Computing
from £23.79
Atmel AVR Microcontroller Primer : Programming and Interfacing, Second Edition
Atmel AVR Microcontroller Primer : Programming and Interfacing, Second Edition
from £76.49
Developing Embedded Software using DaVinci and OMAP Technology
Developing Embedded Software using DaVinci and OMAP Technology
from £23.79
Pragmatic Logic
Pragmatic Logic
from £21.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
from £38.24
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
from £38.24
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
from £38.24
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
from £38.24
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
from £38.24
Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
from £33.99
Power Transmissions : Proceedings of the 4th International Conference, held at Sinaia, Romania, June 20 -23, 2012
Power Transmissions : Proceedings of the 4th International Conference, held at Sinaia, Romania, June 20 -23, 2012
from £212.08
Group Decision and Negotiation. A Process-Oriented View : Joint INFORMS-GDN and EWG-DSS International Conference, GDN 2014, Toulouse, France, June 10-13, 2014, Proceedings
Group Decision and Negotiation. A Process-Oriented View : Joint INFORMS-GDN and EWG-DSS International Conference, GDN 2014, Toulouse, France, June 10-13, 2014, Proceedings
from £38.24
Photovoltaic Solar Energy Conference : Proceedings of the International Conference, held at Cannes, France, 27-31 October 1980
Photovoltaic Solar Energy Conference : Proceedings of the International Conference, held at Cannes, France, 27-31 October 1980
from £76.08
Advances in Enterprise Engineering I : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings
Advances in Enterprise Engineering I : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings
from £38.24
Chromosomes Today : Proceedings of the Ninth International Chromosome Conference held in Marseille, France, 18-21 June 1986
Chromosomes Today : Proceedings of the Ninth International Chromosome Conference held in Marseille, France, 18-21 June 1986
from £38.24
Linear Statistical Inference : Proceedings of the International Conference held at Pozna?, Poland, June 4-8, 1984
Linear Statistical Inference : Proceedings of the International Conference held at Pozna?, Poland, June 4-8, 1984
from £76.08
Arithmetic, Geometry, and Coding Theory : Proceedings of the International Conference held at Centre International de Rencontres de Mathematiques (CIRM), Luminy, France, June 28 - July 2, 1993
Arithmetic, Geometry, and Coding Theory : Proceedings of the International Conference held at Centre International de Rencontres de Mathematiques (CIRM), Luminy, France, June 28 - July 2, 1993
from £109.13
Fractional Calculus and Its Applications : Proceedings of the International Conference held at the University of New Haven, June 1974
Fractional Calculus and Its Applications : Proceedings of the International Conference held at the University of New Haven, June 1974
from £30.59
Population Biology : Proceedings of the International Conference held at the University of Alberta, Edmonton, Canada, June 22-30, 1982
Population Biology : Proceedings of the International Conference held at the University of Alberta, Edmonton, Canada, June 22-30, 1982
from £38.24
Digital Image Processing : Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 23 - July 4, 1980
Digital Image Processing : Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 23 - July 4, 1980
from £38.24
Magnetic Resonance in Biological Systems : Proceedings of the Second International Conference Held at the Wenner-Gren Center, Stockholm, June 1966
Magnetic Resonance in Biological Systems : Proceedings of the Second International Conference Held at the Wenner-Gren Center, Stockholm, June 1966
from £41.79
Computational Intelligence in Security for Information Systems : 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011, Proceedings
Computational Intelligence in Security for Information Systems : 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011, Proceedings
from £38.24
Computational Theoretical Organic Chemistry : Proceedings of the NATO Advanced Study Institute held at Menton, France, June 29-July 13, 1980
Computational Theoretical Organic Chemistry : Proceedings of the NATO Advanced Study Institute held at Menton, France, June 29-July 13, 1980
from £38.24
Computers in Materials Technology : Proceedings of the International Conference Held at the Institute of Technology, Linkoping University, Sweden, June 4-5, 1980
Computers in Materials Technology : Proceedings of the International Conference Held at the Institute of Technology, Linkoping University, Sweden, June 4-5, 1980
from £41.79