Shulph Ink
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
💎 Earn 454 Points (£4.54) on this item.
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
YOU SAVE £19.14
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
The book "Advances in Formal Methods, Formal Methods Techniques, and Formal Methods in Practice" summarizes the proceedings of the 14th International Symposium on NASA Formal Methods,NFM 2022, which included 33 full and 6 short papers and 6 invited papers. The papers covered various topics in formal methods, such as interactive and automated theorem proving, SMT and SAT solving, model checking, machine learning, and probabilistic reasoning, and their applications in industry.
Format: Paperback / softback
Length: 828 pages
Publication date: 20 May 2022
Publisher: Springer International Publishing AG
The 14th International Symposium on NASA Formal Methods (NFM 2022) was held in Pasadena, USA, from May 24 to 27, 2022. This book serves as a compilation of the proceedings of the symposium, featuring 33 full papers and 6 short papers. The papers presented in this volume were meticulously reviewed and selected from a total of 118 submissions. Additionally, the book includes 6 invited papers that delve into various aspects of formal methods.
The papers covered in this volume explore advancements in formal methods, techniques, and their practical applications. Key topics include interactive and automated theorem proving, software model checking, the integration of machine learning and probabilistic reasoning into formal methods, the use of formal methods and graphical modeling languages such as SystemML or UML, and the usability of formal method tools and their industrial applications.
The symposium brought together experts from around the world to discuss the latest developments and trends in formal methods, fostering collaboration and knowledge exchange in this field. The contributions made by the authors and presenters in this volume are expected to have a significant impact on the future of software engineering and formal methods research.
Overall, this book provides a valuable resource for researchers, practitioners, and students interested in formal methods, software engineering, and related areas.
Weight: 1282g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031067723
Edition number: 1st ed. 2022
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
