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
Resuscitation Controversial Aspects
$54.99
Foundations and Practice of Security
$79.99
Mathematical Principles of Signal Processing
$99.99
Struktur der Steinkohlen und Steinkohlen-Kokse
$59.99
Berufsstartprobleme junger Facharbeiter und Facharbeiterinnen in Nordrhein-Westfalen
$59.99
Mikrocomputer-COBOL
$54.99
Leichte Bewegung - Gewinn fr Herz und Hirn
$19.99
Kommunikation und Vertrauen in betrieblichen Krisensituationen
$49.99
An Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation
$199.99
Kurzlehrbuch Prognoseverfahren
$59.99
Smart Card Research and Advanced Applications
$39.99
The Economics of Producing Defense
$109.99
The Scale of Interest Organization in Democratic Politics
$54.99
Introduction to Biologic and Biosimilar Product Development and Analysis
$119.99
Quantitative Methods for Management
$49.99
European Monetary Union: The Kingsdown Enquiry
$39.99
Brsenwettbewerb
$49.99
Food Exports from Brazil to China
$54.99
Electromagnetic Processing of Materials
$84.99
Chemical Nomenclature
$39.99
Intimacy and Friendship on Facebook
$54.99
Biotechnology Business - Concept to Delivery
$99.00
Leitfaden zur Vorbereitung auf die Apotheker-Gehlfen-Prfung
$84.99
Diagram Geometry
$119.99
On the Record: Found Guilty
$7.46
The New Flagship University
$54.99
Die Besteuerung von Dividenden und anderen Kapitaleinknften
$17.99
Molecular Genetics of Colorectal Neoplasia
$109.99
Applications of Ion Exchange Materials in Chemical and Food Industries
$109.99
Inferentialism
$139.99
Technologie der Werkstoffe
$59.99
Subtilisin Enzymes
$84.99
Lagomorph Biology
$299.99
Berufserfolg in der PR-Branche
$44.99
Auf dem Weg zur Macht?
$39.99
Frobenius Categories versus Brauer Blocks
$129.99
The Greedy Apostrophe
$4.46
Sustainability Rating Agencies vs Credit Rating Agencies
$179.99
Matchmaking in Electronic Markets
$54.99
Modeling Decisions for Artificial Intelligence
$54.99
