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
Hegel and the Sciences
$219.99
Spectral Methods in Chemistry and Physics
$109.99
Die Weihnachtsgratifikation
$59.99
Proceedings of First International Conference on Smart System, Innovations and Computing
$219.99
Advances in Cryptology EUROCRYPT 2024
$119.00
Image Processing and Communications Challenges 7
$129.00
Building a Professional Teaching Identity on Social Media
$39.99
Descriptional Complexity of Formal Systems
$54.99
Strand Corrosion in Prestressed Concrete Structures
$37.99
Parity-time Symmetry and Its Applications
$249.99
Handbook of Open, Distance and Digital Education
$599.99
Distributed Energy Resources
$139.99
Advanced Information Systems Engineering
$64.99
Constrained Dynamics
$109.99
Modelling radiocesium in lakes and coastal areas new approaches for ecosystem modellers
$84.99
ffentliche Finanzwirtschaft
$17.99
Mathematik fr Naturwissenschaftler
$39.99
How to Build a Snow Bear
$3.71
Information Hiding
$39.99
Engineering Ceramics 96: Higher Reliability through Processing
$39.99
Rettungsassistentengesetz (RettAssG)
$29.99
Conversation Analytic Language Teacher Education in Digital Spaces
$99.00
Jewelry & Gems The Buying Guide
$54.99
Tumor Microenvironment
$169.99
Over-Constrained Systems
$39.99
Emerging Nanotechnologies in Nanocellulose
$199.99
Pro Apache XML
$44.99
Ways of Home Making in Care for Later Life
$139.99
Essential Statistical Inference
$199.99
14th International Congress for Applied Mineralogy (ICAM2019)
$59.99
A Commentary on Thermodynamics
$39.99
Entscheidungs- und Lernverhalten an Wertpapiermrkten
$49.99
Algebraic K-Theory III. Proceedings of the Conference Held at the Seattle Research Center of Battell
$54.99
Variational Analysis and Aerospace Engineering
$84.99
Kevin Belton's New Orleans Kitchen by Kevin Belton
$24.99
Agents and Multi-Agent Systems: Technologies and Applications 2018
$219.99
Scalable Uncertainty Management
$64.99
Stadt im Spannungsfeld von Kompaktheit, Effizienz und Umweltqualitt
$74.99
Lacrimal Gland, Tear Film, and Dry Eye Syndromes 2
$39.99
Prediction of the Environmental Fate of Chemicals
$219.99
