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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Unbestimmte Integrale
$59.99
Latin American Diasporas in Public Diplomacy
$169.99
Early Vocal Contact and Preterm Infant Brain Development
$129.00
The Garment Economy
$99.00
Pilze und Flechten Morphologie, Systematik, Bestimmung
$54.99
Vulnerable Systems
$84.99
QSAR in Environmental Toxicology - II
$84.99
Expert Oracle Database Architecture
$39.99
Prebiotics, Probiotics and Nutraceuticals
$169.99
Una noche del chaparron
$3.71
Energy System Resilience and Distributed Generation
$199.99
April in Spain: A Novel by John Banville
$17.99
Greener and Scalable E-fuels for Decarbonization of Transport
$169.99
Image and Graphics
$59.99
Fuzzy Control
$84.99
Anlasser und Regler fr elektrische Motoren und Generatoren
$49.99
Neurovascular Events After Subarachnoid Hemorrhage
$169.99
Neue Betrachtungen ber Aufgaben und Ziele der Wissenschaftstheorie. WahrscheinlichkeitTheoretische
$44.99
China Satellite Navigation Conference (CSNC) 2019 Proceedings
$169.00
Equity, Efficiency and Evolutionary Stability in Bargaining Games with Joint Production
$54.99
New Prospects of Integrating Low Substrate Temperatures with Scaling-Sustained Device Architectural
$39.99
Newtons Method and Dynamical Systems
$169.99
Successful Science and Engineering Teaching
$109.99
Algebraic and Proof-theoretic Aspects of Non-classical Logics
$39.99
FORMS/FORMAT 2010
$169.00
Data Center Networks
$39.99
Machine Learning for Intelligent Multimedia Analytics
$199.99
Understanding Sustainability Principles and ESG Policies
$54.99
Lymphoproliferative Diseases: Pathogenesis, Diagnosis, Therapy
$169.99
Climate Change and Livestock Production: Recent Advances and Future Perspectives
$149.00
Praxishandbuch Treasury-Management
$99.00
Algorithmische Mathematik
$24.99
Writing an Academic Paper in English
$32.99
Praktikum in Werkstoffkunde
$44.99
Wasserwirtschaft in der gewerblichen Schifffahrt
$39.99
Enough Already: Learning to Love the Way I Am Today by Valerie Bertinelli
$18.99
Wehenhemmung
$69.99
Ethikbasierte Unternehmensfhrung und Commitment der Mitarbeiter
$89.99
Applying Cognitive Linguistics to Second Language Learning and Teaching
$109.99
Neo-Liberalism and Austerity
$119.99
