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
Fortschritte der Praktischen Dermatologie und Venerologie
$59.99
Administrativer Wandel in internationalen Organisationen
$54.99
Zika in Focus
$54.99
Inventive Computation and Information Technologies
$249.99
From Capital Surges to Drought
$109.99
E-Venture
$54.99
Diabetic Renal-Retinal Syndrome
$129.00
The Delta Model
$49.99
New Horizons for Failing Heart Syndrome
$54.99
Guide to Brain-Computer Music Interfacing
$54.99
Handbuch der Balneologie und medizinischen Klimatologie
$79.99
Die Beseitigung der Kohlennot
$59.99
Erfolgreiche Umsetzung strategischer Initiativen
$9.99
Energieeffizienz
$29.99
Function Algebras
$54.99
Physiology, Growth and Development of Plants in Culture
$39.99
My Books Summer Spanish Grade 5 Fiction - Classroom Set
$795.00
Entertainment Computing - ICEC 2006
$54.99
Infrastructure Investments in Developing Economies
$109.99
Interaction and Fate of Pharmaceuticals in Soil-Crop Systems
$259.00
Die Steinerkrankungen / La Lithiase Urinaire
$59.99
Feldeffekttransistoren
$69.99
Principle-Based Stepped Care and Brief Psychotherapy for Integrated Care Settings
$99.00
Innovation in Food Ecosystems
$109.99
Computer Engineering and Technology
$54.99
Managing the World Economy
$109.99
Proceedings of the Third International Conference on Innovations in Computing Research (ICR24)
$249.99
A Public Health Perspective of Womens Mental Health
$129.00
Vernderung kognitiver Prozesse in Psychoanalysen
$69.99
Pro AngularJS
$79.99
Black Routes to Islam
$89.99
Microsystems Mechanical Design
$109.99
Scholastic Text Sets Grade 1: Our Country, Our Leaders
$95.00
Energy and Thermal Management, Air Conditioning, Waste Heat Recovery
$169.99
Manual of Oculoplastic Surgery
$119.00
Current Issues in Parsing Technology
$219.99
Essentials of Marine Biotechnology
$44.99
Larry and Loki
$3.71
Advances in Metaheuristics
$84.99
Ren Descartes: Principles of Philosophy
$219.99
