Badger, Julia M. - NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science, Band 11460)

Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 416, publicationDate : 2019-05-28, releaseDate : 2019-05-28, publishers : Badger, Julia M., Rozier, Kristin Yvonne, ISBN : 3030206513 ...