Clark Barrett - NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 448, publicationDate : 2017-04-09, releaseDate : 2017-04-09, publishers : Clark Barrett, languages : english, ISBN : 3319572873 ...