Ernie Cohen - Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 364, publicationDate : 2014-01-23, releaseDate : 2014-01-23, publishers : Ernie Cohen, Andrey Rybalchenko, languages : english, ISBN : 3642541070 ...