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 $72.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
|
|
$79.99 | $79.99 |
|
10% OFF
This deals requires coupon
|
$72.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
Reviews
Questions & Answers
Guide to Efficient Software Design
$84.99
Studienbuch konometrie
$69.95
An Ineluctable Political Destiny
$159.99
Bau und Funktion der Fchertracheen einiger Spinnen
$84.99
Crime Scene Management within Forensic science
$169.99
Unlearning at Work
$64.99
Stochastic Optimization
$84.99
Eco Targets, Goal Functions, and Orientors
$129.00
Arterial Grafting for Coronary Artery Bypass Surgery
$219.99
Johann Gottlieb Fichte: Leben und Werk
$79.99
Sminaire de Probabilits XLII
$39.99
Groupware and the World Wide Web
$54.99
Shakespeare, Revenge Tragedy and Early Modern Law
$109.99
From Comrades to Citizens
$54.99
Lake Prespa, Northwestern Greece
$39.99
Mom the Chemistry Professor
$54.99
Empirical Research on the German Capital Market
$109.99
Synchronisation in verteilten Systemen
$69.99
The Future Internet
$54.99
Betriebswirtschaftliche KI-Anwendungen
$74.99
Crop Production for Agricultural Improvement
$219.99
MetaSoft Primer
$39.99
Is Economic Growth Sustainable?
$109.99
Krankheiten der Verdauungsorgane
$59.99
Atome, Molekle und optische Physik 2
$49.99
Early Modern Women's Writing
$54.99
Hypercomputation
$89.99
Conditional Independence in Applied Probability
$39.99
Comparison of Box-Jenkins and Bonn Monetary Model Predition Performance
$54.99
Proceedings of the 2018 Conference of the Computational Social Science Society of the Americas
$169.00
Mobile Desires
$54.99
Self-Evolvable Systems
$129.00
Topics in Noncommutative Algebra
$99.99
Towards Efficient Fuzzy Information Processing
$109.99
Oceanic and Anthropogenic Controls of Life in the Pacific Ocean
$129.00
Sequences, Groups, and Number Theory
$199.99
Kurzwellentherapie
$59.99
Wirtschaftspolitische Konzeptionen in der Sowjetunion im Wandel
$59.99
Economic Development in South Asia
$219.99
Introduction to Analysis
$44.99
