Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
NASA Formal Methods
Best Price (Coupon Required):
Buy NASA Formal Methods for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, 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.
Reviews
Questions & Answers
Progress in Ultrafast Intense Laser Science III
$169.99
Parallel Problem Solving from Nature
$39.99
Grid Services Engineering and Management
$54.99
Gesammelte Mathematische Abhandlungen I
$69.99
The Moral Imagination of Patricia Werhane: A Festschrift
$79.99
Informationsmodellierung im Investitionsgtermarketing
$59.99
The Ethics of Killing
$109.99
Neural Correlates of Quality Perception for Complex Speech Signals
$109.99
Economic Policy Options for a Prosperous Nigeria
$39.99
Application of Petri Nets to Communication Networks
$39.99
Analytical Tools for Environmental Design and Management in a Systems Perspective
$84.99
Application and Theory of Petri Nets and Concurrency
$39.99
China and the Global Business Revolution
$169.99
National Geographic Kids Readers: Ponies
$4.46
Dispersive Shallow Water Waves
$69.99
Italian Institutional Reforms: A Public Choice Perspective
$109.99
Research Studies on Learning and Teaching of Mathematics
$89.00
Proceedings of the 19th Asia Pacific Automotive Engineering Conference & SAE-China Congress 2017: Se
$219.99
Assessing Chronic Pain
$84.99
Yeats and Women
$54.99
Greentopia: Utopian Thought in the Anthropocene
$129.99
Perspectives and Practices of Public Administration in South Asia
$129.99
GeNeDis 2014
$169.99
Distributed Multiple Description Coding
$84.99
Selected Areas in Cryptography
$54.99
Music, Health and Wellbeing
$199.99
Organized Loyalty
$44.99
Designing Discussion for Online and Blended Courses
$39.99
Eine Frage der Messung sozialer Herkunft?
$64.99
Parental Obesity: Intergenerational Programming and Consequences
$199.99
Stability and Progress in the World Economy
$169.00
Rechtsprobleme der HTLV-III-Infektion (AIDS)
$59.99
Active tectonics of the Hellenic subduction zone
$109.99
Analytic Semigroups and Optimal Regularity in Parabolic Problems
$119.99
Anwendungen der Quantenhypothese in der kinetischen Theorie der festen Kper und der Gase
$59.99
3D Printing and Ubiquitous Manufacturing
$54.99
Advanced Technologies, Systems, and Applications
$169.99
Sozialraum
$19.99
Neustart des LHC: das Higgs-Teilchen und das Standardmodell
$17.99
Projective Techniques in Personality Assessment
$54.99
