"Theory of Program Structures: Schemes, Semantics, Verification" von Sheila A. Greibach ist ein wissenschaftliches Werk, das sich mit den theoretischen Grundlagen der Informatik befasst. In diesem Buch untersucht die Autorin die...