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 |
|
$79.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Structural Electron Crystallography
$129.00
Einfhrung in die Analysis II
$29.99
Understanding Intrusion Detection through Visualization
$109.99
Corporate Social and Human Rights Responsibilities
$84.99
The Making of Nagorno-Karabagh
$39.99
Principles of Paint Formulation
$79.99
Taschenbuch der Technischen Akustik
$89.00
Identity in Northern Ireland
$109.99
The Economics of Water
$59.99
Atomic Masses and Fundamental Constants 6
$39.99
Characterisation of a Personal Learning Environment as a Lifelong Learning Tool
$54.99
Parallel Processing and Applied Mathematics
$39.99
The Circulation of Power in Medieval Biblical Drama
$54.99
Fault Prediction Modeling for the Prediction of Number of Software Faults
$54.99
Thawing Permafrost
$199.99
Formal Grammar 2018
$39.99
La tmida Willow
$6.71
The Entrepreneurial Research University in Latin America
$84.99
Interculturalism: The New Era of Cohesion and Diversity
$54.99
Kttner Kolbenmaschinen
$54.99
Industrial Membrane Separation Technology
$449.99
Die Finanzmrkte und die konomische Selbstbehauptung Europas
$74.99
China's White-Collar Wave
$109.99
Modellierung zellulrer Gliomwachstumsprozesse in ihrer Mikroumgebung
$64.99
Cross-Cultural Design
$109.99
Interaktive Systeme
$59.99
Schadstoffe im Bauwesen
$19.99
Ganzheitliche Businessmodell-Transformation
$54.99
Cooperative Design, Visualization, and Engineering
$74.99
Language Learning in Anglophone Countries
$139.00
Democratizing Candidate Selection
$109.00
Untersuchungen auf dem Gebiet der Schweiung von Kunststoffen
$54.99
Late Postmodernism
$39.99
Plasmaphysik
$69.99
Discrete Structural Optimization
$84.99
Dermatologie und Venerologie fr das Studium
$89.99
The Econometric Analysis of Non-Stationary Spatial Panel Data
$84.99
Compact Models and Measurement Techniques for High-Speed Interconnects
$39.99
Birth of the Shinkansen
$44.99
Performance and Technology
$54.99
