Klaus Havelund - NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 472, publicationDate : 2015-04-09, releaseDate : 2015-04-09, publishers : Klaus Havelund, Gerard Holzmann, Rajeev Joshi, languages : english, ISBN : 3319175238 ...