NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
1st ed. 2022
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
303106772X
ISBN-13
9783031067723
Edition
1st ed. 2022
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 20th, 2022
Print length
828 Pages
Product Classification:
Software Engineering
Ksh 19,800.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
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 papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. formal methods and graphical modeling languages such as SysML or UML;
Get NASA Formal Methods by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
