Rupak Majumdar - Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 644, publicationDate : 2017-07-13, releaseDate : 2017-07-13, publishers : Rupak Majumdar, languages : english, ISBN : 3319633899 ...