Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Techniques for Safety-Critical Systems
Best Price (Coupon Required):
Buy Formal Techniques for Safety-Critical Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.
Reviews
Questions & Answers
Regulatory Mechanisms of Synaptic Transmission
$54.99
Modernist Patterns
$39.99
Governing Social Protection in the Long Term
$54.99
Der triumphierende Perseus
$59.99
The Big Dinosaur Day!
$3.71
Fundamentals of Trace and Log Analysis
$34.99
Internationale Betriebswirtschaftslehre
$59.99
Tropical Deforestation and Species Extinction
$129.99
Particle Damping Technology Based Structural Control
$169.99
Astronomical Spectroscopy for Amateurs
$29.99
Structure and Evolution of Active Galactic Nuclei
$329.99
Ethnic Modernism and the Making of US Literary Multiculturalism
$54.99
Gung Hay Fat Choy
$5.21
Proceedings of the 8th International Congress on Environmental Geotechnics Volume 3
$219.99
Artificial Intelligence Applications and Innovations
$109.99
Understanding Learning in Virtual Worlds
$39.99
On Moment Theory and Controllability of One-Dimensional Vibrating Systems and Heating Processes
$39.99
Risk Culture
$39.99
Developing Managerial Information Systems
$54.99
Multiresolution Image Processing and Analysis
$39.99
Connectivity Frameworks for Smart Devices
$109.99
A History of Disease in Ancient Times
$139.99
Teacher Evaluation Around the World
$159.99
Western Europe In Kissinger's Global Strategy
$34.99
Mercury and the Everglades. A Synthesis and Model for Complex Ecosystem Restoration
$169.99
Ermittlung der Fliekurven und der Anisotropie-Eigenschaften metallischer Werkstoffe im Rastegaev-St
$84.99
Happiness and Place
$99.99
Umweltpsychologie
$19.99
Spatial Database for GPS Wildlife Tracking Data
$169.99
The Paradigm Shift to Multimodality in Contemporary Computer Interfaces
$54.99
Gender, Power and Sexuality
$109.99
Hochschulreform in Europa konkret
$74.99
Object-Oriented Technology. ECOOP 2008 Workshop Reader
$54.99
VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paran, Argentina 29, 30 & 31 Octob
$219.99
Unter Strom
$19.99
Human-Aware Robotics: Modeling Human Motor Skills for the Design, Planning and Control of a New Gene
$159.99
Evolution and Control in Biological Systems
$84.99
Controlling & Management Review - Jahrgang 2015
$84.99
The Nuclear Receptor Superfamily
$109.99
An Introduction to Convex Polytopes
$39.99
