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
Formal Aspects in Security and Trust
$39.99
Building University Electronic Educational Environments
$219.99
Numerical Methods and Optimization
$169.99
Biochemistry
$39.99
User-Centric Technology Design for Nonprofit and Civic Engagements
$109.99
The 1755 Lisbon Earthquake: Revisited
$219.99
Steuerpolitik Von der Theorie zur Praxis
$99.99
Sustainable Plant Nutrition under Contaminated Environments
$199.99
Just Mercy- A Story of Justice and Redemption by Bryan Stevenson
$18.00
System-Level Validation
$84.99
Research
$74.99
Angelo Zottoli, a Jesuit Missionary in China (1848 to 1902)
$109.99
High-Density Lipoproteins as Biomarkers and Therapeutic Tools
$219.99
Operationalisation of Hybrid Peacebuilding in Asia
$59.99
Cobaltgruppe: Elemente der neunten Nebengruppe
$17.99
The Red Letter at the Music Hall
$54.99
Dynamics of Complex Quantum Systems
$84.99
"Dann ist Vergangenheit bestndig"
$39.99
Stem Cells and Cancer Stem Cells, Volume 7
$219.99
Sicherer Alltag?
$59.99
Indikation zum rztlichen Handeln
$59.99
Hochspannungsleitungen
$59.99
The World: 300 Years of Urbanization Expansion
$129.00
Der Bankbetrieb
$44.99
Bahnfhrung Eines Industrieroboters mit Multiprozessorsystem
$69.99
ber Existenz: Die Ontologie Roman Ingardens
$299.99
Baukonstruktion - vom Prinzip zum Detail
$69.99
Die Kindertagessttte als Bildungseinrichtung
$39.99
High Performance Computing in the Geosciences
$84.99
Major Companies of The Far East and Australasia 1993/94
$74.99
Thinking Programs
$59.99
What are the Stars?
$59.99
Reasoning about Preference Dynamics
$84.99
Wohlfahrtsstaat, Sozialstruktur und Verfassungsanalyse
$59.99
Isotopeneffekte in einer hochfrequenzerzeugten Wasserstoff-Deuterium-Entladung
$49.99
Numerik fr Ingenieure und Naturwissenschaftler
$39.99
Social Coordination Frameworks for Social Technical Systems
$109.99
The Great Globe and All Who It Inherit
$49.99
What Has the Black Church to do with Public Life?
$65.00
Computer-aided Manufacturing and Womens Employment: The Clothing Industry in Four EC Countries
$54.99
