ABZ 2014: The Landing Gear Case Study Image close
ABZ 2014: The Landing Gear Case Study
ABZ 2014: The Landing Gear Case Study
Show Hide Adult Content
ABZ 2014: The Landing Gear Case Study close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

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
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Communications in Computer and Information Science

See all products in this series

Advances in Computer Science, Environment, Ecoinformatics, and Education, Part II
$279.99
Advances in Computer Science, Environment, Ecoinformatics, and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Monte Carlo Search
$175.99
Monte Carlo Search
Paperback / softback
Available - Usually ships in 3-4 weeks
Systems, Software and Services Process Improvement Save $8
$140.99
$149.95
Systems, Software and Services Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Graphs and Semantic Web
$139.99
Knowledge Graphs and Semantic Web
Paperback / softback
Available - Usually ships in 3-4 weeks
AsiaSim 2007 Save $79
$142.99
$222.95
AsiaSim 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Convergence and Hybrid Information Technology
$279.99
Convergence and Hybrid Information Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Modelling and Scientific Computation Save $42
$145.99
$188.95
Mathematical Modelling and Scientific Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Computing and Applications
$286.99
Information Computing and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computing and Intelligent Systems
$275.99
Computing and Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Emerging Intelligent Computing Technology and Applications Save $52
$146.99
$199.95
Emerging Intelligent Computing Technology and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Contemporary Computing Save $32
$277.99
$310.95
Contemporary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
HCI International 2011 Posters' Extended Abstracts Save $9
$278.99
$288.95
HCI International 2011 Posters' Extended Abstracts
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Networks
$273.99
Computer Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Process Design for Natural Scientists
$138.99
$139.95
Process Design for Natural Scientists
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Image and Graphics Technologies Save $26
$139.99
$166.95
Advances in Image and Graphics Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Big Data Technology and Applications
$139.99
Big Data Technology and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
Release date Australia
May 26th, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Frederic Boniol
  • Edited by Klaus-Dieter Schewe
  • Edited by Virginie Wiels
  • Edited by Yamine Ait Ameur
Illustrations
47 Illustrations, black and white; XII, 161 p. 47 illus.
Pages
161
Dimensions
155x235x10
ISBN-13
9783319075112
Product ID
22411076

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Software Packages >
Computer graphics software
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation