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:
Buy NASA Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
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
Molecular and Clinical Advances in Anticancer Drug Resistance
$219.99
Sortimentsplanungsmodelle in filialisierten Handelsunternehmungen
$49.99
Resilience and Sustainability in Urban Africa
$79.99
Informationssysteme und Datenbanken
$69.95
Soziale Integration durch gemeinschaftliche Wohnkonzepte fr die Silver Society
$49.99
Vom Wohnen erzhlen Narrative Pragmatik und Beispielhermeneutik
$69.99
Trends in Functional Programming
$39.99
Media fr Manager
$39.99
Anatomy and Imaging of the Cranial Nerves
$74.99
Functional Urban Areas in Poland
$84.99
Levels of Reality in Science and Philosophy
$139.99
Serviceroboter
$17.99
Wenn Medien Negatives ber den Arbeitgeber berichten
$39.99
Theological Anthropology in the Anthropocene
$159.99
Cleopatra in Space: Fallen Empires
$11.24
Incommunicado
$7.46
Infinite Processes
$54.99
Applied Number Theory
$59.99
Handbuch Betriebliche Kreislaufwirtschaft
$59.99
Zur Konstitution moderner Gesellschaften
$89.99
Praxishandbuch Event Management
$79.99
Pro SQL Server 2005 High Availability
$54.99
Die Anfngerklausur im Strafrecht
$19.95
Informatik 97 Informatik als Innovationsmotor
$69.99
Metriken - der Schlssel zum erfolgreichen Security und Compliance Monitoring
$49.99
Einkommensverteilung, Wachstum und Krisenentstehung
$49.99
Sport and Leisure in the Civilizing Process
$109.99
The Future of Sustainability
$169.99
Statistical and Computational Techniques in Manufacturing
$109.99
Plant Essential Oils
$169.00
Der Mensch im Beengten Raum
$59.99
Reconciliation in Conflict-Affected Communities
$139.99
Verringerung gesundheitlicher Ungleichheit durch Empowerment
$49.99
My Books Summer Spanish Grade 1 Fiction/Nonfiction 6-Book Pack
$34.95
Was ist eine gute Frage?
$39.99
Evaluation in der Sozialwirtschaft
$24.99
Gender, Care and Migration in East Asia
$69.99
Transition Metal Organometallic Chemistry
$54.99
Biotechnology in China II
$259.00
Rothmaler - Exkursionsflora von Deutschland, Gefpflanzen: Atlasband
$39.99
