Copied NASA Formal Methods
NASA Formal Methods
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.
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
Innovations in Abdominal Ultrasound
$84.99
Datenschutz beim Online-Einkauf
$44.99
Hats Off to You
$4.46
Cryptographic Hardware and Embedded Systems - CHES 2001
$39.99
Logic and Lexicon
$169.99
Chinese Dream and Practice in Zhejiang Ecology
$39.99
Frobenius Manifolds
$89.00
Herzchirurgie I
$59.99
Literature And Imperialism
$44.99
Informationsverarbeitung in der Medizin
$59.99
Handbook of Nutrition and Immunity
$129.00
Dictionary of Corporate Social Responsibility
$169.99
European Yearbook of International Economic Law 2020
$219.99
Trollope and Politics
$34.99
Stationre Psychodynamische Psychotherapie
$44.99
New Trends in Databases and Information Systems
$54.99
Real World Economic Outlook
$109.99
Endocrine Neoplasia
$89.00
Micromechanics and Microactuators
$169.99
Die Moderne und ihre Vornamen
$19.99
Clinical Physiology of the Venous System
$129.00
Lebenswegorientierte Planung technischer Systeme
$59.99
Der Schwefelkohlenstoff
$74.99
I Am a Dragon!
$5.96
Leading Solutions
$69.99
Die Beschftigungssituation von wissenschaftlichem Nachwuchs
$79.99
Differential-Algebraic Equations: A Projector Based Analysis
$109.99
Die Medicinischen Verbandmaterialien mit besonderer Bercksichtigung ihrer Gewinnung, Fabrikation, U
$84.99
Smart Cities in Application
$49.99
Software Re-use, Utrecht 1989
$54.99
Signal Processing in X-ray Pulsar-Based Navigation
$159.99
Cluster-Based Industrial Development
$39.99
Operations Research
$39.99
The National Innovation System of Belgium
$39.99
An Introduction to Nonlinear Analysis: Applications
$219.99
Geometrische Perspektive
$59.99
The History and Science of the Manhattan Project
$79.99
Learning and Innovation @ a Distance
$39.99
Nanoinformatics
$59.99
The Quality of Life and Policy Issues among the Middle East and North African Countries
$69.99
