Copied Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
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.
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
Fluid- und Wrmetransport Strmungslehre
$49.99
Musculoskeletal Ultrasound-Guided Regenerative Medicine
$219.99
Atlas of Lasers and Lights in Dermatology
$109.00
Migration from Food Contact Materials
$169.99
Flow Lines and Algebraic Invariants in Contact Form Geometry
$39.99
Service Business Model Innovation in Healthcare and Hospital Management
$99.00
Klinik der Muskelrelaxation
$59.99
Collective Choice in Education
$109.99
Smart Objects and Technologies for Social Good
$54.99
Timing
$149.00
Nephrologie Urologie
$69.99
Biochemie
$59.99
The Witt Group of Degree k Maps and Asymmetric Inner Product Spaces
$34.99
Web Information Systems Engineering WISE 2024
$79.99
Time Series in Economics and Finance
$159.99
The Contractual Relationship between Clients and Management Consultants
$54.99
Prevention in Clinical Practice
$54.99
Numerical Analysis of Partial Differential Equations
$69.95
Bessere Zeiten fr die Stadt
$59.99
Managing Innovation in Japan
$109.99
Erfolgreich fhren in der Sozialwirtschaft
$64.99
Regression Modeling Strategies
$109.99
Einfhrung in die Abbildungsgeometrie
$24.99
Basic Principles in Applied Catalysis
$219.99
In-/Near-Memory Computing
$69.99
3D Microelectronic Packaging
$149.00
Faba Bean: Chemistry, Properties and Functionality
$249.99
Owen & Mzee
$6.71
Die Modularitt der Wissenschaft
$29.99
Haftungsvermeidung in der Unternehmenskrise
$44.99
E
The Physics of Hydrogenated Amorphous Silicon II
$39.99
Pdiatrische Nephrologie
$109.00
The Economics of Industrial Location
$109.99
Informationswirtschaft 1
$49.95
Cross-Cultural Perspectives on Personhood and the Life Course
$129.99
Invasive Software Composition
$54.99
Handbuch der chemisch-technischen Apparate maschinellen Hilfsmittel und Werkstoffe
$79.99
In the Desert
$3.71
Real and Functional Analysis
$109.99
