Das Buch "Formal Models and Semantics" von Luisa G. Bozzano ist der zweite Band des Handbuchs der theoretischen Informatik und konzentriert sich auf formale Modelle und Semantik. Es bietet eine umfassende Behandlung verschiedener...