1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development
NASA Formal Methods

NASA Formal Methods

by Kristin Yvonne Rozier and Swarat Chaudhuri
Epub (Kobo), Epub (Adobe)
Publication Date: 04/07/2023
Be the first to write a review

Share This eBook:

  $143.99
Add to List

This item is delivered digitally

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.


The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.


The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

ISBN:
9783031331701
9783031331701
Category:
Computer programming / software development
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
04-07-2023
Language:
English
Publisher:
Springer Nature Switzerland

This item is delivered digitally

You can find this item in:

Computer programming / software development Computer hardware Mathematical theory of computation Artificial intelligence Computer modelling & simulation Discrete mathematics Software Engineering Computer science
Show more Show less

Reviews

Be the first to review NASA Formal Methods.