Overview
- | Author: Ritchie Lee, Susmit Jha, Anastasia Mavridou
- | Publisher: Springer
- | Publication Date: Oct 29, 2020
- | Number of Pages: 464 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030557537
- | ISBN-13: 9783030557539
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11û15, 2020, Proceedings
$97.68
(No reviews yet)
Write a Review
Write a Review
Springer
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11û15, 2020, Proceedings
Product Details
- Author:
- Ritchie Lee, Susmit Jha, Anastasia Mavridou
- Publisher:
- Springer
- Publication Date:
- Oct 29, 2020
- Number of pages:
- 464 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030557537
- ISBN-13:
- 9783030557539
Categories
Paperback
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Nasa Formal Methods: 11Th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7?9, 2019, Proceedings (Lecture Notes In Computer Science, 11460)
Springer
$82.16
Nasa Formal Methods: 15Th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (Lecture Notes In Computer Science, 13903)
Springer
$97.68
Formal Methods In Architecture : Proceedings Of The 5Th International Symposium On Formal Methods In Architecture (5Fma), Lisbon 2020
Springer
$211.47