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
Chemoreception
$329.99
The Future of Piagetian Theory
$54.99
Der kundenseitig wahrgenommene Wert der anbieter- und der kundengesteuerten Dienstleistungsindividua
$54.99
Strategisches IT-Management
$69.99
POCT - Patientennahe Labordiagnostik
$99.99
Physics and Chemistry of Low-Dimensional Inorganic Conductors
$169.00
Advances in Environment, Behavior and Design
$84.99
Notizen zu C++
$79.99
Datenschutzfragen mobiler kontextbezogener Systeme
$69.99
The Dynamics of Complex Urban Systems
$109.99
Qualitative Research Methods In Business
$49.99
Technology-Oriented Customer Touchpoints in Context of Services in Retailing
$99.99
Die Tablettenfabrikation und ihre maschinellen Hilfsmittel
$59.99
The Physics of Submicron Semiconductor Devices
$219.99
Difference Equations and Their Applications
$84.99
Neutron Spin Echo
$39.99
Fallarbeit im Kontext flexibler Hilfen zur Erziehung
$59.99
The New Progressive Dilemma
$39.99
Handbuch Industrielles Beschaffungsmanagement
$159.00
The Construction of Cognitive Maps
$129.00
Emerging Technologies in Data Mining and Information Security
$329.99
Cellular Bioenergetics: Role of Coupled Creatine Kinases
$39.99
Numerical Partial Differential Equations for Environmental Scientists and Engineers
$54.99
Interfamily Therapy
$44.99
The Wellness Way to Weight Loss
$39.99
Gesellschaft und Psychodynamik
$49.99
Cultural Heritage as a Legal Hybrid
$159.99
Die Berechnung elastischer Grndungsbalken auf nachgiebigem Untergrund
$84.99
Sleep
$169.00
Theoretical Aspects of Computing - ICTAC 2006
$54.99
General Hybrid Orthogonal Functions and their Applications in Systems and Control
$39.99
Facharztwissen Mund-, Kiefer- und Gesichtschirurgie
$169.99
Minimum Entropy H_ Control
$39.99
The Health of Vietnam
$109.99
Externe Kommunikation des CERN 1954-1965
$49.99
Renewable Energy Generation and Value Addition from Environmental Microfiber Pollution Through Advan
$149.00
Das Rtsel des Masochismus
$89.00
The Dynamics of Federalism in National and Supranational Political Systems
$84.99
The Hello, Goodbye Window
$6.71
Aiding Decisions with Multiple Criteria
$219.99
