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
Foreign Language Education in America
$49.99
Die extreme Rechte in der Bundesrepublik
$44.99
Unternehmensplanung als Instrument der Unternehmensfhrung
$59.99
Vaccines
$39.99
Extreme and Systemic Risk Analysis
$129.99
ffentliche Meinung und Demoskopie
$59.99
Spectroscopy of Semiconductors
$139.99
Effizienz gesetzlicher Kndigungsschutzbestimmungen
$49.99
Elektrische Energieversorgung
$69.99
Halbzeit der Energiewende?
$19.99
Agatha Christie
$1.86
Immunohmatologie
$44.99
Cryptic Female Choice in Arthropods
$129.00
Automated Scheduling and Planning
$109.99
Economics of Wildfire Management
$54.99
Data Warehousing und Data Mining
$39.99
Anomaly Detection in Random Heterogeneous Media
$54.99
Advanced Techniques of Population Analysis
$109.99
The Unprecedented 2016 Presidential Election
$64.99
The Dictionary of Drugs: Chemical Data
$129.00
Rifted Ocean-Continent Boundaries
$39.99
Risikomanagement in Unternehmen
$17.99
Research Methods in Neurochemistry
$84.99
Facts and Models in Hearing
$109.99
Pro Active Record
$29.99
International Law and Humanitarian Assistance
$84.99
Mechanisms in the Pathogenesis of Enteric Diseases
$169.00
Brain Hypoxia
$54.99
Evaluation in Foreign Language Education in the Middle East and North Africa
$84.99
China's Belt and Road Initiative
$169.00
Immunobiology of Proteins and Peptides IV
$109.99
Grostdte zwischen Hierarchie, Wettbewerb und Kooperation
$69.99
The Moral Wager
$109.99
Risikomanagement und Fehlervermeidung im Krankenhaus
$69.99
Phagocytosis and Phagosomes
$179.99
Modellierung schulischer Notenbildung
$84.99
Optimierung von Eigenspannungszustnden an Zylinderkpfen von PKW-Dieselmotoren mit Hilfe der Simula
$64.99
Beginning .NET Game Programming in C#
$44.99
Toward Humanoid Robots: The Role of Fuzzy Sets
$189.00
Diario de una Lechuza #10: Eva y Beb Mo
$4.49
