Copied Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
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
Cardiac Anesthesia and Postoperative Care in the 21st Century
$169.99
Chu Ju's House
$6.71
Grant writing for medical and healthcare professionals
$129.99
Biomathematische Modelle im Unterricht
$29.99
Drug Abuse and Antisocial Behavior
$129.99
Women, Philosophy and Science
$129.99
Zur Therapie des Prostatakarzinoms
$69.99
Physiologie des Geschmacks oder Betrachtungen ber hhere Gastronomie
$84.99
Migration, Geschlecht und Staatsbrgerschaft
$74.99
White on Black in South Africa
$84.99
Nitric Oxide and Free Radicals in Peripheral Neurotransmission
$129.00
Proceedings of the International Petroleum and Petrochemical Technology Conference 2018
$169.99
Practical Python Data Visualization
$64.99
Social Innovation in Sport
$109.00
Environmental Issues of Blasting
$64.99
Cosmopolitan Education and Inclusion
$44.99
Maritime Piracy and Its Control: An Economic Analysis
$54.99
The Music Industries
$54.99
Hypertension, Fluid-Electrolytes, and Tubulopathies in Pediatric Nephrology
$169.99
Die Spinnerei
$59.99
Sexual Offending
$199.99
Second International Conference on Sustainable Technologies for Computational Intelligence
$249.99
Acoustic Signal Processing for Telecommunication
$169.99
Open Problems in Network Security
$54.99
Telling West Indian Lives
$54.99
Knowledge Generation and Protection
$84.99
Rice Biology in the Genomics Era
$219.99
Management Accounting & Control Scales Handbook
$39.99
Flammenstabilitt bei Gasbrennern mit Geblse
$59.99
The CADD Department
$109.99
Terrestrial Heat Flow in Europe
$84.99
Exploring European Frontiers
$129.00
Werksttten
$49.99
Self-Organization in Optical Systems and Applications in Information Technology
$54.99
Integral, Probability, and Fractal Measures
$54.99
The US Financial System and its Crises
$99.99
Recombinant Virus Vaccines
$89.00
Iron-Carbene Complexes
$109.99
Societies and Cities in the Age of Instant Access
$169.99
Streitfragen bei der Kostenberechnung des Atomstroms. Ein neuer Weg zur Kostensenkung des Atomstroms
$59.99
