Wolfgang Ahrendt - Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key (lecture Notes In Computer Science, Band 12345)
Brand: Wolfgang Ahrendt -
EAN:
9783030643539MPN: m03030643530
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 352, publicationDate : 2020-12-09, releaseDate : 2020-12-09, publishers : Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, ISBN : 3030643530
Preise vergleichen ab:
Wolfgang Ahrendt - in Bücher & Zeitschriften