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
Der Gegenstand der Psychologie
$59.99
Things We Never Got Over by Lucy Score
$18.99
TURBO-PASCAL in Beispielen
$69.95
Operations Management in Theorie und Praxis
$74.99
Implementierung funktionaler Programmiersprachen
$59.99
New York Neighborhoods - Addressing Sustainable City Principles
$109.99
Automotive Interaction Design
$199.99
Geometric Discrepancy
$169.99
Effective Model-Based Systems Engineering
$159.99
Theorie der Fermiflssigkeit in Metallen
$17.99
Political Violence and Oil in Africa
$54.99
Inter-organizational Cooperation with SAP Solutions
$39.99
Blandings Practical Physical Distribution
$54.99
The Mitoribosome
$249.99
Advanced Manufacturing and Automation IX
$129.00
Bioscience at the Physical Science Frontier
$169.99
Effizienzanalyse von Dienstleistungsproduktionen
$54.99
Moleklstruktur
$44.99
Stieg Larsson's Millennium Trilogy
$54.99
Crystallographic Texture and Group Representations
$199.99
Building Resilient Cities in China: The Nexus between Planning and Science
$109.99
The Statesman's Year-Book 1973-74
$99.00
Psychiatrische Therapie-Forschung
$54.99
Effiziente Algorithmen fr grundlegende Funktionen
$59.99
MWW-Type Titanosilicate
$54.99
Community-Based Education for Students with Developmental Disabilities in Tanzania
$54.99
David Ricardo on Public Debt
$109.99
Soft Computing Methods in Human Sciences
$109.99
1000+ Tips for Life Inside and Outside the Academy
$54.99
Private Environmental Regimes in Developing Countries
$54.99
ICAME 2005
$169.99
Dienstleistungsorientierte Geschftsmodelle im Maschinen- und Anlagenbau
$129.99
Perspectives in Running Water Ecology
$54.99
Konflixt und zugenht
$44.99
Kompendium der koronaren Herzkrankheit
$69.99
Optimising NMR Spectroscopy Through Method and Software Development
$219.99
Culture of Enmity: The Discursive Struggle for Taiwan in the Making of the New Cold War
$99.00
Regieren im 21. Jahrhundert zwischen Globalisierung und Regionalisierung
$59.99
Knorpelschaden
$74.99
Handbuch der Internistischen Geriatrie
$69.99
