Nasa Formal Methods: 13Th International Symposium, Nfm 2021, Virtual Event, May 24Â28, 2021, Proceedings (Lecture Notes In Computer Science, 12673)
Springer
ISBN13:
9783030763831
$108.02
- | Author: Aaron Dutle, Mariano M. Moscato, Laura Titolo, Cã©Sar A. Muã±Oz, Ivan Perez
- | Publisher: Springer
- | Publication Date: June 24, 2021
- | Number of Pages: 418 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030763838
- | ISBN-13: 9783030763831
- Author:
- Aaron Dutle, Mariano M. Moscato, Laura Titolo, Cã©Sar A. Muã±Oz, Ivan Perez
- Publisher:
- Springer
- Publication Date:
- June 24, 2021
- Number of pages:
- 418 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030763838
- ISBN-13:
- 9783030763831