Copied Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
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
Simultaneous Statistical Inference
$69.99
Brain Tumor Pathology: Current Diagnostic Hotspots and Pitfalls
$169.99
Constraint Programming
$54.99
Verification: Theory and Practice
$109.99
Psychiatric Disorders
$219.99
A Short Course on Spectral Theory
$119.00
Random Perturbations of Dynamical Systems
$129.99
Mathematische Statistik
$29.99
Relationship between the Central Government and Local Governments of Contemporary China
$39.99
Wheat Production in Changing Environments
$169.99
Targeting of Drugs 2
$39.99
Green Finance in China
$99.00
Interaktive Wertschpfung
$39.99
Soziologische Erkenntnis und Geschichte
$59.99
Computer Vision - ECCV '94
$39.99
Agile Processes in Software Engineering and Extreme Programming
$54.99
MR Imaging of the Skull and Brain
$74.99
Ethical Social Index Numbers
$84.99
Differenz und Integration: Die Zukunft moderner Gesellschaften
$59.99
Uses and Consequences of a Criminal Conviction
$89.99
Neutron Diffraction
$109.99
Organogene Dnenbildung
$59.99
Transactional Psychology of Education
$109.99
Interfacial Instability
$39.99
Bailey (Spanish)
$3.74
Advances in Renewable Energy and Electric Vehicles
$219.99
Resources, Co-Evolution and Artifacts
$109.99
Strategie und Erfolg von Fuballunternehmen
$79.99
Family Contexts of Sleep and Health Across the Life Course
$119.99
Computer Networks, Big Data and IoT
$249.99
Studies in Inherited Metabolic Disease
$39.99
Entscheidungsproze und Mitbestimmung
$59.99
Let's Play Make Bee-lieve: An Acorn Book (Bumble and Bee #2)
$4.49
STACS 85
$39.99
Nachhaltiges l und Gas mit Blockchain
$129.99
Creation
$54.99
Plant Tissue Culture Manual
$54.99
Deutscher Multimedia Kongre 96
$69.99
Debating Divorce in Italy
$54.99
Lipid-Activated Nuclear Receptors
$109.99
