Ritchie Lee - NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Lecture Notes in Computer Science, Band 12229)

Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 468, publicationDate : 2020-08-09, releaseDate : 2020-08-09, publishers : Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou, ISBN : 3030557537 ...