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
Essence of the PET Radiopharmaceutical Business
$39.99
Metacognition
$169.99
Applications of Synchrotron Radiation
$109.99
Build Location Apps on iOS with Swift
$69.99
Environmental Engineering for Ecosystem Restoration
$219.00
Tools of Radio Astronomy - Set
$109.99
Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
$149.00
Environment and Climate-smart Food Production
$279.99
Qualitative Methods and Data Analysis Using ATLAS.ti
$89.99
SchlerInnen und Lehrpersonen in mediengesttzten Lernumgebungen
$59.99
Pollution Control Instrumentation for Oil and Effluents
$169.99
Organisationsprfung
$69.99
Culturally Responsive Collection: Immigrant and Refugee Experiences Grades PreK-2 (50)
$325.00
Musikkommunikation und ihre Wirkungen
$74.99
Argumente fr eine Psychologie des Reflexiven Subjekts
$64.99
Funktionsanalyse technischer Systeme und Erstellung von Hilfsmitteln zur Produktplanung und -entwick
$69.99
The Dual Nature of Life
$54.99
The Swing
$4.46
Dr. med. Johann Georg Varrentrapp (1809-1886)
$49.99
Parallel Symbolic Languages and Systems
$39.99
5th EAI International Conference on Management of Manufacturing Systems
$329.99
Abgeordnete und Brger
$59.99
Slavery as an Industrial System
$39.99
The Conversion of the Jews and Other Essays
$39.99
Die Praktische Frderung der Forschung in Nordrhein-Westfalen / Die Frderung der angewandten Forsch
$49.99
Control Theory of Digitally Networked Dynamic Systems
$169.99
Treffsichere Analysen, Diagnosen und Prognosen
$64.99
Digital Holography and Three-Dimensional Display
$129.00
Major Turning Points in Jewish Intellectual History
$109.99
Hebrisches und Aramisches Handwrterbuch ber das Alte Testament
$59.99
Mitochondria
$179.99
Autonome Produktion
$79.99
Irreducibility and Computational Equivalence
$109.99
Information Technologies in Medicine
$129.00
Temperaturfunktionen zur Prfung selbstttiger Brandmeldesysteme
$59.99
Harnessing and Guiding Social Capital for Rural Development
$39.99
Familiendiagnostik
$99.99
Social, Cultural, and Behavioral Modeling
$74.99
The Speaker Identification Ability of Blind and Sighted Listeners
$54.99
Pharmazeutische Informationssysteme
$69.99
