Copied ABZ 2014: The Landing Gear Case Study
ABZ 2014: The Landing Gear Case Study
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Unternehmungserfolg
$69.99
Plasma and the Universe
$219.99
Ecology of Arable Land Perspectives and Challenges
$39.99
Swamp Angel (Hardcover)
$17.99
The Semantic Web ISWC 2005
$169.99
Public Service Interpreting
$119.99
Algorithmic Learning Theory
$39.99
Brgerinformationssysteme
$59.99
Citizenship, Identity, and Education in Muslim Communities
$54.99
Molten Salt Techniques
$249.99
Mathematik zwischen Schule und Hochschule
$59.99
Analysis of Appraisive Characterization
$109.99
The Lesser-Known Albert Einstein
$119.99
Web 2.0 Technologies and Democratic Governance
$169.99
Information Systems for Crisis Response and Management in Mediterranean Countries
$54.99
Deductive Program Design
$219.99
European Capitalist Welfare Societies
$39.99
Der klinisch-infektiologische Fall
$14.99
Zion (A True Book: National Parks)
$23.25
Money, Method, and the Market Process
$109.99
Strategische Stabilittsfaktoren in Unternehmenskooperationen
$79.99
Seminar on Stochastic Analysis, Random Fields and Applications
$84.99
Kundenzufriedenheit im IT-Outsourcing
$49.99
Concepts and Approaches in Evolutionary Epistemology
$129.00
STOP, THAT and One Hundred Other Sleep Scales
$169.99
Parliamentary Thinking
$89.00
The Cultural Dimension of Peace
$54.99
Strategisches Marketing von Online-Medienprodukten
$59.99
Crucial Event Rehabilitation Therapy
$49.99
Effizienz und Emanzipation
$59.99
Solid Edge ST9 fr Fortgeschrittene kurz und bndig
$19.99
Principles of Rock Deformation
$109.99
Cosmic Radiation in Contemporary Astrophysics
$169.99
Tau-p: a plane wave approach to the analysis of seismic data
$39.99
Qualitative Research in Criminology
$139.00
Impulsschaltungen
$54.99
Anatomy & Stretching for Pregnancy & Postpartum by Mieria Patino Coll
$26.95
Praxiswissen Zerspantechnik
$54.99
Nickel and Dimed 20th Anniversary Edition- On Not Getting By in America by Barbara Ehrenreich
$18.99
