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 $98.10 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
|
|
$109.00 | $109.00 |
|
10% OFF
This deals requires coupon
|
$98.10 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Reviews
Questions & Answers
The True Story of the 3 Little Pigs!
$5.96
Digital BiCMOS Integrated Circuit Design
$169.99
Urban Stormwater and Flood Management
$159.99
CBT Case Formulation as Therapeutic Process
$99.99
What was Mechanical about Mechanics
$169.99
TCP 2010
$169.99
Wilhelm Conrad Rntgen
$49.99
Aspects topologiques de la physique en basse dimension. Topological aspects of low dimensional syste
$169.00
Ocean Forecasting
$219.99
Perspektiven der Berufs- und Wirtschaftspdagogik
$59.99
Following the Levellers, Volume One
$119.99
Handbook on Biodegradation and Biological Treatment of Hazardous Organic Compounds
$329.99
Grundstzliches zur Demokratisierung des deutschen Bildungswesens
$54.99
Cultural Meanings and Social Institutions
$44.99
Algorithmic Applications in Management
$109.99
Rocco's Keto Comfort Food Diet - Eat the Foods You Miss and Still Lose Up to a Pound A Day by Rocco Dispirito
$28.99
State Subsidies in the Global Economy
$54.99
Clinician's Manual on Migraine
$54.99
PHIGS by Example
$54.99
Neue Politische konomie einfacher Gesellschaften
$59.99
Oceanography from Space
$129.00
Rethinking Platinum Anticancer Drug Design: Towards Targeted and Immuno-chemotherapeutic Approaches
$129.99
Cell Signaling in Vascular Inflammation
$109.99
Fullerenes and Other Carbon-Rich Nanostructures
$219.99
A Guide to International Trading
$79.99
Paulus in Frhchristlicher Frmmigkeit und Kunst
$44.99
Terrorismusbekmpfung und Extremismusprvention
$19.99
Handbook of Active Ageing and Quality of Life
$249.99
Entrapment in Escalating Conflicts
$39.99
Recent Trends in Constructed Wetlands for Industrial Wastewater Treatment
$199.99
Funktionelle Schmerztherapie des Bewegungssystems
$54.99
Cursing, Crisis and Customary Knowledge in Early Modern English Townships
$119.99
Multichannel-Marketing-Handbuch
$69.99
Crime in Europe
$109.99
Co-Creation of High-Tech Products in the B2B Domain
$54.99
Emerging Technologies for Developing Countries
$54.99
Lifelines
$84.99
Ricci-Calculus
$119.99
Das erfolgreiche Einstellungs-Interview
$74.99
We Are One
$5.99
