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 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.
Reviews
Questions & Answers
Multiskalen- und Wavelet-Matrixkompression
$69.99
A Philosophical View of the Ocean and Humanity
$34.99
Anlegen am Wendepunkt
$59.99
Die Medizin an der Berliner Charit bis zur Grndung der Universitt
$59.99
Chromium Oxidations in Organic Chemistry
$84.99
Cardiac Tissue Engineering
$129.00
Modeling, Simulation, and Optimization of Integrated Circuits
$84.99
Working with India
$39.99
Betriebswirtschaftliche Organisationslehre
$59.99
China's Policymaking for Regional Economic Cooperation
$54.99
New Demographic Faces of Europe
$39.99
Medical Image Computing and Computer-Assisted Intervention MICCAI 2007
$129.00
Sexual Harassment, Law and Human Rights in Africa
$139.99
The Science of Sci-Fi Music
$19.99
Experimentelle Untersuchungen bei Sarkomen
$59.99
Emerging Digital Spaces in Contemporary Society
$54.99
Multimediales Lernen im Netz
$59.99
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Product
$74.99
Distribution of Energy Momentum Tensor around Static Charges in Lattice Simulations and an Effective
$159.99
Der Praxiswunsch Lehramtsstudierender revisited
$74.99
Dynamic Competitive Strategy
$54.99
The Chemistry of Tobacco and Tobacco Smoke
$109.99
Gramsci, Political Economy, and International Relations Theory
$39.99
The Pursuit of Myth in the Poetry of Frank O'Hara, Ted Berrigan and John Forbes
$129.99
Monatsschrift Kinderheilkunde
$49.99
Eye Tracking
$219.99
Compromise Planning : A Theoretical Approach from a Distant Corner of Europe
$139.99
Zusammenstellung der Bestimmungen ber Ausbildung und Prfung fr den Preuischen Staatsforstverwalt
$59.99
Schemapdagogik
$69.99
Complex Abelian Varieties
$169.99
Einstellungsgesprche erfolgreich fhren
$54.99
Narratives of Social Justice Educators
$39.99
Labour Market Flexibility and Pension Reforms
$54.99
Mobile Communications
$39.99
Novel Drug Targets With Traditional Herbal Medicines
$169.99
Advances in Computational Methods and Technologies in Aeronautics and Industry
$199.99
Advances in Artificial-Business Analytics and Quantum Machine Learning
$109.00
Emergent Macroeconomics
$54.99
European Constitutional Courts towards Data Retention Laws
$129.00
Advances in Fuzzy Control
$39.99
