Skip to product information
1 of 1

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

Regular price £91.07 GBP
Regular price £109.99 GBP Sale price £91.07 GBP
17% OFF Sold out
Tax included. Shipping calculated at checkout.

YOU SAVE £18.92

  • Condition: Brand new
  • UK Delivery times: Usually arrives within 2 - 3 working days
  • UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Trustpilot 4.5 stars rating  Excellent
We're rated excellent on Trustpilot.
  • 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 Delivery and returns information:

  • Delivery within 2 - 3 days when ordering in the UK.
  • Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
  • Returns policy: Return within 30 days of receipt for full refund.

International deliveries:

Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.

  • Delivery times: within 5 - 10 days for international orders.
  • Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
  • Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
View full details