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 $98.10 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
|
|
$109.00 | $109.00 |
|
10% OFF
This deals requires coupon
|
$98.10 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Reviews
Questions & Answers
Kleine Einfhrung in die Altertumswissenschaft
$17.99
IUTAM Symposium on Turbulence in the Atmosphere and Oceans
$129.00
Multiobjective Linear and Integer Programming
$119.99
Interplay between Metal Ions and Nucleic Acids
$219.99
How the Immune System Recognizes Self and Nonself
$179.99
Intelligent Computing Techniques for Smart Energy Systems
$299.00
Labour Migration in Europe
$39.99
Environmental Resilience
$119.99
Residue Reviews
$84.99
Strategische Informations-system-Planung
$69.99
Neuronale Netze in der Industrie
$49.99
Concepts and Applications in Veterinary Toxicology
$169.99
Impact of Molecular Biology and New Technical Developments in Diagnostic Imaging
$84.99
Computers Helping People with Special Needs
$54.99
Social Interactions and Networking in Cyber Society
$109.99
The Interfacial Interactions in Polymeric Composites
$39.99
Environments for Multi-Agent Systems II
$54.99
Topics in Modal Analysis & Testing, Volume 10
$219.99
Handbuch Produktionsstttenplanung
$79.99
Industriebetriebliche Energienutzung und Produktionsplanung
$59.99
Ergnzende Versuche ber die Regeneration der ueren Kiemen von Froschlarven
$54.99
Ratschlge zum mathematischen Umgang mit Ungewiheit
$49.99
Quality, Reliability, Security and Robustness in Heterogeneous Systems
$44.99
Unlocking Blockchain on Azure
$44.99
Entkoppelt und institutionalisiert
$49.99
Hip Fractures
$169.99
Brave and the Fox
$4.13
Wolf Hollow
$6.74
Textil-Hilfsmittel-Tabellen
$59.99
Kommunikative Rekonstruktion in der Theaterpause
$64.99
Zentralnervensystem
$84.99
Vulnerability and Transformation of Indonesian Peatlands
$49.99
Integration of Large-Scale Renewable Energy into Bulk Power Systems
$199.99
Intelligent Communication Technologies and Virtual Mobile Networks
$279.99
The Future of Digital Work: The Challenge of Inequality
$109.99
Opportunities for Biological Nitrogen Fixation in Rice and Other Non-Legumes
$54.99
Region and Nation
$39.99
Organische psychische Strungen
$49.99
Transport Coefficients of Fluids
$169.99
A General Algebraic Semantics for Sentential Logics
$54.99
