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
Object-Oriented Technology. ECOOP 2004 Workshop Reader
$54.99
Paleokarst
$84.99
Industrial Uses of Starch and its Derivatives
$219.99
Advances in Wireless Communications
$169.00
Datenbanken - leicht gemacht
$29.99
Smart Graphics
$54.99
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
$169.99
Movie Crazy
$54.99
Proceedings of the 2nd International Conference on Structural Damage Modelling and Assessment
$249.99
Greek Culture After the Financial Crisis and the Covid-19 Crisis
$64.99
Introduction to Image Processing
$39.99
Applications of Antisense Therapies to Restenosis
$129.00
Teacher Noticing: Bridging and Broadening Perspectives, Contexts, and Frameworks
$249.99
Management 2. Ordnung
$49.99
Night-Night, Little Pookie by Sandra Boynton
$6.99
Advanced Imaging in Biology and Medicine
$169.00
Beyond Leadership
$129.99
Kreditrisiko und Kreditentscheidung im Bankbetrieb
$44.99
Verification, Model Checking, and Abstract Interpretation
$54.99
Rediscovering John Dewey
$119.00
Capital Mysteries: A Spy in the White House
$5.21
Datenschutz in drei Stufen
$64.99
Frontiers of Dynamic Games
$109.99
Pharmaceutical Applications of Cell and Tissue Culture to Drug Transport
$84.99
Contrast Echocardiography
$39.99
Portraits of Chinese Schools
$39.99
Integrated Formal Methods
$54.99
High Performance Computing
$54.99
SARS, Governance and the Globalization of Disease
$179.99
Prozessethik
$49.99
Cyclic Polymers
$169.00
Clinical Cases in Disorders of Melanocytes
$39.99
Risk Analysis in Forest Management
$169.99
Journalistische Praxis: Science Blogging
$17.99
Una noche del chaparron
$3.71
Frontiers of Algorithmics
$44.99
Learning Electricity and Electronics with Advanced Educational Technology
$219.99
Die Knstliche Seide
$84.99
Kontradiktorische Diskurse und Macht im Widerspruch
$49.99
Publics and Their Health Systems
$79.99
