Description: Nasa Formal Methods : 14th International Symposium, Nfm 2022, Pasadena, Ca, USA, May 24–27, 2022, Proceedings, Paperback by Deshmukh, Jyotirmoy (EDT); Havelund, Klaus (EDT); Perez, Ivan (EDT), ISBN 303106772X, ISBN-13 9783031067723, Like New Used, Free shipping in the US 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.
Price: 163.24 USD
Location: Jessup, Maryland
End Time: 2024-11-21T02:21:51.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Nasa Formal Methods : 14th International Symposium, Nfm 2022, Pas
Number of Pages: Xxii, 828 Pages
Publication Name: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2022
Subject: Software Development & Engineering / General, General
Item Weight: 45.2 Oz
Type: Textbook
Author: Klaus Havelund
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
