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:
Buy Formal Techniques for Safety-Critical Systems for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
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
Personal Brand Creation in the Digital Age
$54.99
The New Global Regulatory Landscape
$129.00
Where Does Violence Come From?
$24.99
Trumps America and International Relations in the Indo-Pacific
$159.99
Hormone und Hormonsystem - Lehrbuch der Endokrinologie
$49.99
Geothermics
$109.99
Reflexiver Sprachgebrauch
$59.99
Lichtwellenleiter
$69.95
Biotechnology for Pulp and Paper Processing
$119.99
Heisenbergs 1958 Weltformel and the Roots of Post-Empirical Physics
$59.99
Die Gte verschiedener Befragungsmethoden zur Umweltbewertung
$69.99
Quantum Field Theory I
$54.99
Retail Category Management
$159.99
Mixed Reality and Gamification for Cultural Heritage
$129.99
Co-created Effective, Agile, and Trusted eServices
$49.99
Handbuch Bibliothek
$49.99
The Molecular Biology of Picornaviruses
$84.99
Radio Fun and the BBC Variety Department, 192267
$89.99
Ein disaggregiertes Prognosesystem fr die Bundesrepublik Deutschland
$69.99
Schlsselwerke der Netzwerkforschung
$89.99
Learner Corpora: Construction and Explorations in Chinese and Related Languages
$159.99
Plant Microtubules
$169.99
An Introduction to Riemann-Finsler Geometry
$99.99
Korrosion und Korrosionsschutz
$79.99
International Symposium on Theoretical Programming
$39.99
Versuche ber Lngsschub und Querbiegung in Druckplatten von Betontrgern
$49.99
Hermeneutik und Interpretation als Voraussetzungen einer Ontologie des literarischen Kunstwerks
$64.99
Optimal Control of Energy Resources for State Estimation Over Wireless Channels
$54.99
Topics in Current Chemistry 3/4
$54.99
The Digital Platform Economy Index 2020
$69.99
Einfhrung in die klassische und moderne Zahlentheorie
$59.99
Intelligent Systems and Pattern Recognition
$89.99
Uveitis
$129.99
Teilen oder nicht teilen
$59.99
Die politischen Systeme Skandinaviens
$34.99
Concentrating Solar Power and Desalination Plants
$119.99
Sociolinguistics in Scotland
$109.99
The Gene
$259.00
Chaos: Concepts, Control and Constructive Use
$54.99
Sport and Quality of Life
$159.99
