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
Handbuch Projektmanagement
$64.99
Militr und Demokratie in Deutschland
$39.99
The University in the Age of Globalization
$39.99
Therapeutische Beziehung und die Behandlung chronischer Depressionen
$69.99
Rechneruntersttzte Gestaltung und Darstellung Dreidimensionaler technischer Gebilde mit beliebig ge
$54.99
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
$39.99
YSEC Yearbook of Socio-Economic Constitutions 2020
$199.99
Cognition and Sentence Production
$109.99
Elektronik-Aufgaben Analoge Schaltungen
$44.99
White Noise on Bialgebras
$24.99
Oil Pollution in the North Sea
$169.00
Uberpreneurs
$24.99
Carbon Reinforcements and Carbon/Carbon Composites
$109.00
Recent Advances in Statistical Research and Data Analysis
$39.99
How to Measure Angles from Foot Radiographs
$54.99
Programming the ARM Cortex-M4-based STM32F4 Microcontrollers with Simulink
$49.99
Scale Systems: Decentralization, Structure Constraints, and Fixed Modes
$39.99
Intercultural Communication Education
$54.99
Legumes for Soil Health and Sustainable Management
$249.99
Artificial Intelligence for Smart Healthcare
$179.99
Hepatitis B Virus and Liver Disease
$89.00
Strategic Innovation in Russia
$109.99
Excel Applied Statistics for High School Students
$39.99
Immigrants on Grindr
$39.99
Reducing Breast Cancer Risk in Women
$219.99
Gender medienkompetent
$59.99
Intelligent and Soft Computing in Infrastructure Systems Engineering
$129.00
Teletraffic
$99.00
The Cupcake Diaries Collection 2 Boxed Set - Katie, Batter Up! Mia's Baker's Dozen, Emma All Stirred Up! Alexis Cool as a Cupcake by Coco Simon
$27.99
The Calculus of Variations and Optimal Control
$109.99
Siebenstellige Logarithmen und Antilogarithmen
$49.99
Molecular Basis of Lymphokine Action
$219.99
Analysis and Design of Descriptor Linear Systems
$54.99
Mixture Models and Applications
$109.99
African Farmers, Value Chains and Agricultural Development
$139.99
Plant Male Sterility Systems for Accelerating Crop Improvement
$169.99
Drosophila Oogenesis
$129.00
The Potential of Massive Open Online Courses in the Context of Corporate Training and Development
$59.99
Arbeitszeitverkrzung Ein Weg zur Vollbeschftigung?
$69.99
The Globalisation of Higher Education
$89.00
