Copied Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
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
Going to War
$54.99
Practical Medical Oncology Textbook
$179.99
Closing the Justice Gap for Adult and Child Sexual Assault
$39.99
Advances in Data-Driven Computing and Intelligent Systems
$219.99
Darstellung und quantitative Behandlung stochastischer Ablufe mit Hilfe graphentheoretischer Method
$59.99
Viral Marketing
$34.99
Tight Polyhedral Submanifolds and Tight Triangulations
$29.99
A Thousand Deadlines: The New York City Press and American Neutrality, 191417
$39.99
The Training Evaluation Process
$84.99
Emerging Trends in Expert Applications and Security
$249.99
Playing with Picturebooks
$54.99
Intertemporal Resource Economics
$84.99
Environmental Design Evaluation
$39.99
Skin, Mucosa and Menopause
$99.00
Environmental Stratified Flows
$129.00
Nitrogen-fixing Actinorhizal Symbioses
$129.00
European Energy Markets Observatory (2008)
$129.00
Colossal Magnetoresistive Manganites
$109.99
Religious Reconstruction in the South Asian Diasporas
$109.99
Shared Services and Outsourcing: A Contemporary Outlook
$54.99
The Death of the Artist
$54.99
Energy Sector: A Systemic Analysis of Economy, Foreign Trade and Legal Regulations
$109.99
Coaching an der Hochschule
$17.99
Introduction to Bayesian Statistics
$109.99
The Basal Ganglia
$84.99
Characterization, Treatment and Use of Sewage Sludge
$169.00
Nagelerkrankungen
$64.99
Sustainable Human Development
$84.99
Die Pflanzlichen Restitutionen
$59.99
Frauen in Fhrung
$84.99
Non-Periodic Phenomena in Variable Stars
$39.99
Broadening the Genetic Base of Grain Cereals
$169.99
Health and Healthcare Policy in Italy since 1861
$139.99
Regionale Jugendarbeit
$59.99
Dynamisches Finanzmanagement in der Praxis
$69.99
Handbuch der Gerontopsychiatrie
$149.99
ECOOP 2000 - Object-Oriented Programming
$39.99
'Ich hab' mehr das Gesprch gesucht'
$49.99
Space Plasma Simulations
$84.99
Management of Transboundary Rivers and Lakes
$129.00
