Copied Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
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
Xbooks-Tyrants: Conquistador
$5.21
Participatory Politics and Citizen Journalism in a Networked Africa
$119.99
A to Z Mysteries: The Quicksand Question
$5.21
Public Policy in the 'Asian Century'
$219.99
Einfhrung in UML
$34.99
Welington de Melo - Selected Works
$179.99
Auftragsmanagement der industriellen Produktion
$119.99
Enhancing Cognitive Fitness in Adults
$109.99
The Art and Science of Compassionate Care: A Practical Guide
$39.99
Thermoradiotherapy and Thermochemotherapy
$219.99
Machine Learning, Image Processing, Network Security and Data Sciences
$54.99
The Physiology of Microalgae
$259.00
Dopaminergic Neuron Transplantation in the Weaver Mouse Model of Parkinsons Disease
$84.99
Einfhrung in die Vektorrechnung
$49.99
Zinc Biochemistry, Physiology, and Homeostasis
$109.99
The Respiratory Functions of Blood
$39.99
Krisendiskurse und kapitalistische Entwicklungspfade
$44.99
Cardiovascular Risk Assessment in Primary Prevention
$249.99
Personality in Intimate Relationships
$39.99
Adaptive Strategies for Water Heritage
$59.99
Men of War
$4.99
Latvia's Transition to a Market Economy
$169.99
Bericht ber die Siebenundvierzigste Zusammenkunft der Deutschen Ophthalmologischen Gesellschaft in
$59.99
Untwine
$8.99
Medical Applications of Synchrotron Radiation
$54.99
System Lifecycle Management
$109.99
Die Entstehung des Dieselmotors
$84.99
Progress in Cryptology LATINCRYPT 2023
$74.99
The Midbrain Periaqueductal Gray Matter
$219.99
International Conference on Communication, Computing and Electronics Systems
$299.99
Continuous Nonlinear Optimization for Engineering Applications in GAMS Technology
$139.00
Language and Cognition
$109.99
Interne Kommunikation mit digitalen Medien
$17.99
Multivariate Analysemethoden
$79.99
D. H. Lawrences Language of Sacred Experience
$54.99
Managing in a Global World
$59.99
Riemann Surfaces
$59.99
Principles of Data Mining and Knowledge Discovery
$84.99
The Palgrave Handbook of Urban Ethnography
$249.99
Islam - Skularismus - Religionsrecht
$84.99
