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 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
Reviews
Questions & Answers
Cultural Atlas of Tbingenness
$84.99
Extreme Hydrological Events: New Concepts for Security
$129.00
Criminal Profiling
$99.00
Mobile Source Emissions Including Policyclic Organic Species
$39.99
Family Medicine
$54.99
Business Management
$19.66
Managing Human Resources
$43.69
Scheduling Algorithms
$109.00
Advances in Computational Intelligence and Communication
$139.00
Building Decentralized Trust
$139.99
Kapazittsgestaltung in Dienstleistungsunternehmungen
$59.99
Spectral Theory of Infinite-Area Hyperbolic Surfaces
$99.00
Free Trade within North America: Expanding Trade for Prosperity
$84.99
Examens-Fragen Chemie fr Mediziner
$49.99
ISS-2012 Proceedings Volume On Longitudinal Data Analysis Subject to Measurement Errors, Missing Val
$169.99
Epiduroscopy
$59.99
Planimetrie mit einem Abri ber die Kegelschnitte
$59.99
Katalytische Metathese von Alkinen
$39.99
ber die Anreicherung des N15-Isotops und einige spektroskopische Untersuchungen am N15
$49.99
Einfhrung in die Religionsphilosophie
$59.99
Deconstructing Japan's Image of South Korea
$109.99
Time: Towards a Consistent Theory
$169.99
Multicomponent and Multiscale Systems
$39.99
Lean Banking
$44.99
Decolonization and the French of Algeria
$99.99
Tween Girls' Dressing and Young Femininity in Singapore
$109.99
Durkheim & Critique
$139.99
Verletzungen des Schultergelenks
$69.99
TURBO-BASIC in Beispielen
$44.99
Methods of Strategic Trade Analysis
$64.99
Liquids and Solids
$54.99
Artificial Intelligence for COVID-19
$199.99
Multi-agent and Complex Systems
$129.00
Image Analysis and Processing. ICIAP 2022 Workshops
$84.99
History of the Pancreas: Mysteries of a Hidden Organ
$259.00
Issues Decisive for Chinas Rise or Fall
$109.99
Endangered Species and Fragile Ecosystems in the South China Sea
$39.99
Crystal Growth
$109.99
Studies in the Economics of Central America
$54.99
Computational Science and Its Applications -- ICCSA 2013
$54.99
