Ezio Bartocci - Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Brand : MOXIC, Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 208, publicationDate : 2021-09-28, releaseDate : 2021-09-28, publishers : Ezio Bartocci, Yliès Falcone, Martin Leucker, ISBN : 3030873471 ...