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
Contracts and Peace Treaties
$54.99
Atlas of Wide-Field Retinal Angiography and Imaging
$249.99
Mobile Commons, Migrant Digitalities and the Right to the City
$39.99
Merlin and the Dragons
$5.96
Arzneipflanzen-Merkbltter des Kaiserlichen Gesundheitsamts
$59.99
The Culture of Obesity in Early and Late Modernity
$54.99
Explanation, Causation and Deduction
$39.99
Dealing with Uncertainties
$84.99
Modernes Netzwerkmanagement
$59.99
Biodiesel: Feedstocks, Technologies, Economics and Barriers
$109.99
Death-Feigning in Insects
$179.99
Estuaries of Australia in 2050 and beyond
$84.99
Kompaktkurs Mathematik fr Ingenieure und Naturwissenschaftler
$39.99
Ergebnisse Der Hygiene Bakteriologie Immunittsforschung und Experimentellen Therapie
$59.99
A Study of China's Foreign Aid
$109.99
Enzyme Handbook 16
$74.99
Another Generation of Fundamental Considerations in Language Assessment
$169.99
Guided Reading Level T Pack 2
$85.00
Wertorientierte Management-Incentivesysteme auf Basis interner Wertkennzahlen
$74.99
Transnational Corporations and Human Rights
$54.99
Residue Reviews
$54.99
Advanced Monte Carlo for Radiation Physics, Particle Transport Simulation and Applications
$379.99
Human-Computer Interaction: Users and Applications
$109.99
Nordic Consumer Culture
$179.99
Computer Vision ECCV 2024
$79.99
New Polymerization Reactions
$39.99
Biological Aspects of Brain Tumors
$54.99
Nanosensors for Point-of-Care Diagnostics of Pathogenic Bacteria
$149.00
Clinical Laboratory Science in the Changing Scene of Health Care
$39.99
Behavioral Consultation and Primary Care
$59.99
Collective Education in the Kibbutz
$54.99
Gemini - Steps to the Moon
$49.99
TA-Siedlungsabfall
$69.99
Lebenserinnerungen eines Ingenieurs
$84.99
Immigration Policy and the Scandinavian Welfare State 1945-2010
$54.99
Proceedings of the 11th International Conference of Ar.Tec. (Scientific Society of Architectural Eng
$379.99
Fortschritte der Praktischen Dermatologie und Venerologie
$44.99
PuK - Controllingkonzepte
$54.99
Soft Computing for Risk Evaluation and Management
$129.00
Lineare Gleichungssysteme und lineare Optimierungsaufgaben
$49.99
