Semantik und Programmverifikation (Teubner Texte zur Informatik, 34) – (EPUB, E-Book)
Semantik und Programmverifikation (Teubner Texte zur Informatik, 34) (German Edition) , Christoph Walther
Als jemand, der eine gute Geschichte schätzt, konnte ich nicht umhin, das Gefühl zu haben, dass dieses Buch, obwohl nicht schlecht, in mir keinen Funken entfachte, seine geradlinige Erzählung und der Mangel an dramatischer […]