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
High Power Laser-Matter Interaction
$189.00
Optical Properties of Semiconductor Nanostructures
$54.99
Zwischen Vorbild und Verdacht
$59.99
Advances in Production Management Systems
$84.99
Die Thermodynamik des Dampfkraftprozesses
$34.99
Optimal Control and Differential Games
$84.99
Interventional Neuroradiology
$119.99
Multimedia Data Mining and Analytics
$84.99
Wish Upon a Stray
$5.99
Souvernitt in Zeiten der Krise
$44.99
The JOBS Act
$14.99
Geometric Science of Information
$109.99
Mobility Aware Technologies and Applications
$54.99
Nanotechnologie und Nanoprozesse
$99.99
Cosserat Theories: Shells, Rods and Points
$279.99
Gaseous Dielectrics X
$84.99
The Future of Land-Based Strategic Missles
$54.99
Neural Information Processing
$54.99
Vaginalsonographie im ersten Schwangerschaftsdrittel
$44.99
Software als Arbeit gestalten
$69.95
Schulfhrungsmodell SFM
$64.99
Partizipation als Entscheidungshilfe
$69.99
Accounting Conservatism and the Stock Market
$49.99
Mental Health Care Services in Community Settings
$39.99
The Mathematics of Nonlinear Programming
$89.95
Organolanthoid Chemistry: Synthesis, Structure, Catalysis
$84.99
Triumph of the Nomads
$74.99
Solar-Terrestrial Relations and Physics of Earthquake Precursors
$179.99
Cellular and Molecular Biology of Mammary Cancer
$39.99
Logic Programming
$54.99
Eurocode 92
$54.99
Press-Fit Fixation of the Knee Ligaments
$119.99
A Model for the Stochastic Fracture Behavior of Glass and Its Application to the Head Impact on Auto
$44.99
Quadri-syllabic Schematic Idioms in Chinese: Description and Acquisition
$149.00
Media Parasites in the Early Avant-Garde
$39.99
The Economic Dimension of Eurasian Integration
$129.00
Nonverbal Learning Disabilities in Children
$59.99
Solving Problems in Food Engineering
$69.99
Antineoplastic and Immunosuppressive Agents
$84.99
Few Body Systems and Electromagnetic Interactions
$74.99
