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
Cardiac Development
$109.99
Grenzen der Mechanisierung in der Landwirtschaft. Die Entwicklung der Futterproduktion in den Savann
$59.99
Organisationale Deutungsmuster im Kontext Schule, Migration und Rassismus
$59.99
Abdul Aziz Said: A Pioneer in Peace, Intercultural Dialogue, and Cooperative Global Politics
$119.00
Grobritannien
$59.99
Planet Earth, Past and Present
$37.99
Scholastic Success With Grammar: Grade 5 Workbook
$5.24
Ecosystems and Living Resources of the Baltic Sea
$199.99
Energy resources and economic development in India
$84.99
Unicompartmental Knee Arthroplasty
$139.99
Ecosystem Services for Spatial Planning
$109.00
Buchhaltung und Abschlu
$69.99
Regionalisierung in der Landschaftskologie
$69.95
From Valmy to Waterloo
$54.99
Die Sorge um Andere am Lebensende als Beruf
$49.99
Innovatives IT-Management
$69.99
The Palgrave Handbook of Artistic and Cultural Responses to War since 1914
$199.99
Algorithms and Discrete Applied Mathematics
$54.99
The Role of Systems Methodology in Social Science Research
$169.99
asyncio Recipes
$37.99
Computer und Musik
$84.99
The Biology of Wool and Hair
$54.99
Multidisciplinary Research in Control
$84.99
Residue Reviews/Rckstands-Berichte
$54.99
PRIMA 2014: Principles and Practice of Multi-Agent Systems
$39.99
Organic Photovoltaics
$219.99
The Other East and Nineteenth-Century British Literature
$54.99
Vertebral Compression Fractures in Osteoporotic and Pathologic Bone
$129.99
Impact of Scientific Computing on Science and Society
$219.99
Optical Activity of Proteins and Other Macromolecules
$54.99
Imaging and Correlative Physicochemical Techniques
$84.99
Robot Motion Planning and Control
$119.00
Industrielle Energieversorgung als betriebswirtschaftliches Planungsproblem
$59.99
Theatre Music and Sound at the RSC
$99.99
Augmented Cognition. Neurocognition and Machine Learning
$54.99
Strategisches Wissensmanagement in der Produktentwicklung
$59.99
The Seduction of Fiction
$54.99
Sozial-Idealismus
$59.99
Applications of Supply Chain Management and E-Commerce Research
$84.99
Protagonists of Medicine
$129.00
