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
Internes Rechnungswesen
$29.99
Anpassung von Open-Source-Software in Anwenderunternehmen
$69.99
Big Data Analytics for Smart Urban Systems
$139.99
Studies in Late Medieval Wall Paintings, Manuscript Illuminations, and Texts
$59.99
The Therapy of Education
$109.99
Flexible Dienstleistungsarbeit gesundheitsfrderlich gestalten
$49.99
Complications in Neurosurgery II
$59.99
Pandemic, Lockdown, and Digital Transformation
$129.99
Language and Conflict in Northern Ireland and Canada
$54.99
After Rwanda
$169.99
S-BPM in the Wild
$69.99
Handbook of Floating-Point Arithmetic
$139.00
Algorithms in Bioinformatics
$54.99
Futures, Visions, and Responsibility
$69.99
Aluminium Structural Design
$109.99
The Undercount of Young Children in the U.S. Decennial Census
$54.99
Optical Fiber Sensor Technology
$219.99
Controlling in Nonprofit-Organisationen
$74.99
Boron in Plant and Animal Nutrition
$129.00
Acoustics and Vibration of Mechanical Structures AVMS-2021
$219.99
Klinik der Kollagenkrankheiten (Kollagenosen)
$79.99
Analyse der Fette und Wachsarten
$59.99
Ausgewhlte Methoden der Ablaufplanung im Vergleich
$59.99
Der Durchmesser, ein Merkmal der Garnungleichmigkeit, und seine Auswirkung auf das Gewebeaussehen
$59.99
Debt Deficit And Economic Performance
$59.99
Applications of the Topological Derivative Method
$159.99
Neue Sachlichkeit 1924-1932
$24.99
The Postcolonial Short Story
$54.99
Der Wille des Menschen zwischen Leben und Sterben Patientenverfgung und Vorsorgevollmacht
$69.99
Mobilitt statt Exodus
$34.99
The Statesman's Yearbook 1998-99
$59.99
Einfhrung in die Roboterprogrammierung
$69.95
Web and Internet Economics
$54.99
Science and the Modern World
$39.99
Reports of the Midwest Category Seminar IV
$29.99
Management of Head and Neck Vascular Lesions
$169.99
Statistik mit Mathematica
$119.00
Mechanics of Time-Dependent Materials and Processes in Conventional and Multifunctional Materials, V
$169.00
State Shareholding
$29.99
Capitalism without Capital
$109.99
