Copied NASA Formal Methods
NASA Formal Methods
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
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
Pro .NET 2.0 Windows Forms and Custom Controls in C#
$89.99
Marx and Nature
$39.99
Wavelet Transforms and Time-Frequency Signal Analysis
$169.99
Grids, Clouds and Virtualization
$84.99
Introducing Biological Rhythms
$89.00
Modeling of Induction Motors with One and Two Degrees of Mechanical Freedom
$109.99
Stochastic Narrow Escape in Molecular and Cellular Biology
$109.99
Metaphysics of Morality
$69.99
Science, Culture and National Identity in Francoist Spain, 19391959
$139.99
Medizinmanagement
$89.99
Das BUCH der Beweise
$44.99
Sourcebook Of Control Systems Engineering
$169.00
Source Separation and Recycling
$379.99
Econometric Analysis of Discrete Choice
$54.99
Mentoring and Sponsoring
$32.99
OZONE
$189.00
Program Development by Specification and Transformation
$84.99
China Satellite Navigation Conference (CSNC) 2012 Proceedings
$219.99
Moden in der Hip-Hop-Szene
$39.99
Resource Recombination in Firms from a Dynamic Capability Perspective
$109.99
El Capitn Calzoncillos y la sensacional saga del seor Sohediondo (Captain Underpants #12)
$5.99
Radioactive Waste Engineering and Management
$199.99
The Last Deglaciation: Absolute and Radiocarbon Chronologies
$169.99
Managing Universities
$129.00
Current Topics in Artificial Intelligence
$54.99
School Leadership, Citizenship Education and Politics in China
$54.99
Advances in Visual Computing
$109.99
Ten True Tales: Teens at War
$4.46
Information, Communication and Computing Technology
$54.99
Impact of Climate Change on Scale Hydro-turbine Selections
$39.99
Symmetries of Maxwells Equations
$139.99
Erfolgsfaktor Kanzleikommunikation
$17.99
Die Reform im Gtertransport
$54.99
Triticale
$179.99
The Contextual Challenges of Occupational Sex Segregation
$54.99
Calculus of Variations
$89.99
Lasers in the Musculoskeletal System
$39.99
Therapie des Harnblasenkarzinoms
$84.99
Neurotransmitter Methods
$84.99
Die Bedeutung der Mechanisierung von Gewinnung, Ausbau und Versatz fr die krperliche Belastung des
$59.99
