Copied NASA Formal Methods
NASA Formal Methods
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.
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 |
|
$72.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Reliability, Quality and Safety of Software-Intensive Systems
$169.99
Pro Apache Hadoop
$44.99
Quick Start Guide to Verilog
$69.99
Angular Distribution Analysis in Acoustics
$109.99
Verletzungen des Schultergrtels
$69.99
Manual of Pediatric Anesthesia
$179.99
Prostaglandins and Immunity
$169.99
Crime and Security
$54.99
Babies on the Move PreK-K
$18.50
Philosophical Problems of Statistical Inference
$109.99
The Geography of Cardamom (Elettaria cardamomum M.)
$109.99
In the Name of the Nation
$39.99
National Geographic Kids - Little Kids First Big Book: Little Kids First Big Book of the World
$8.96
Auswrtiges Amt
$89.00
Zum Verhltnis von Bild und Text in der Renaissance
$59.99
Economic Freedom and the American Dream
$39.99
Race and Affluence
$39.99
Beyond the International Space Station: The Future of Human Spaceflight
$219.99
Preisdifferenzierung im Omni Channel-Handel
$84.99
Proceedings of the Fourth International Scientific Conference Intelligent Information Technologies
$219.99
Nephrologie
$54.99
Familienbilder gleich Weltbilder
$49.99
Telecommunication Network Intelligence
$169.00
New Aspects of High-Energy Proton-Proton Collisions
$39.99
Fish Tank Friends: Do I Have to Go to the Party? (Hardcover)
$13.49
Vulnerability of Watersheds to Climate Change Assessed by Neural Network and Analytical Hierarchy Pr
$54.99
Arteriovenous Hemofiltration
$109.99
Oscar Wilde's Aesthetic Education
$99.99
Inhabiting Cyberspace and Emerging Cyberplaces
$44.99
Ein isothermes Lsungskalorimeter zur Bestimmung thermodynamischer Zustandsgren von Legierungen
$59.99
The Marriage Motive: A Price Theory of Marriage
$54.99
Materials Science for Structural Geology
$109.99
Staatsrecht und Staatspraxis von Grossbritannien
$39.99
Intelligent Tutoring Systems
$54.99
Das Passwort frs Leben heit Humor
$19.99
ASP Web Development with Macromedia Dreamweaver MX 2004
$39.99
Energie und Rohstoffe
$29.99
Energie und Entropie - was ist das wirklich?
$17.99
The Enzymes of Biological Membranes
$109.99
A Simple Non-Euclidean Geometry and Its Physical Basis
$89.99
