Copied Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
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
Datenverwaltung in verteilten Systemen
$69.99
Data Wrangling with R
$69.99
Quantum Computing and Quantum Bits in Mesoscopic Systems
$129.99
Advances in Intelligent Data Analysis XIII
$54.99
Surgical Diseases of the Pancreas and Biliary Tree
$219.99
The Foundation of Japanese Power
$29.99
Advances in Service and Industrial Robotics
$299.99
Developmental Science and Sustainable Development Goals for Children and Youth
$169.99
Recent advances in the understanding of some selective mechanisms in man. Entwicklungstendenzen der
$59.99
Modern Corporate Finance, Investments and Taxation
$129.00
Linguistik und Statistik
$69.99
kosystem Darm VII
$69.99
Constitutions of Nations
$39.99
Studien zur Anatomie und Klinik der Prostatahypertrophie
$59.99
Kompass Digitale Bewerbung
$19.99
Semilinear Elliptic Equations for Beginners
$59.99
Planimetrie
$44.99
Quantum Modeling of Complex Molecular Systems
$129.00
Statistical Physics II
$169.99
Formal Analysis by Abstract Interpretation
$49.99
Anthropology-Based Computing
$54.99
Das Bewertungsproblem in den Steuerbilanzen
$69.99
A Guide to Maple
$109.99
Timely Diagnosis of Colorectal Cancer
$169.99
Aus allen WeltteilenDie Arktis
$99.99
Prozeorientiertes Qualittscontrolling
$64.99
Formal Methods and Hybrid Real-Time Systems
$39.99
Intelligent Robotics and Applications
$109.99
Rock and Soil Rheology
$84.99
Explaining Bias in Membership Numbers
$54.99
The Anomeric Effect and Related Stereoelectronic Effects at Oxygen
$99.00
Neutron Physics
$39.99
Israel Gesellschaft im Wandel
$64.99
Emergency Surgery for Low Resource Regions
$109.99
The Prism of the Self
$169.99
Spectrum Access and Management for Cognitive Radio Networks
$109.99
Sachenrecht
$29.95
Vegetationsgeschichtliche Untersuchung in den westlichen Schweizer Alpen: Bern - Wallis
$59.99
The Missing Links in Teacher Education Design
$109.99
Atlas of Anatomy of the peripheral nerves
$139.00
