Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantic...

Predicate Calculus and Program Semantics (Monographs in Computer Science) Dijkst

FOUNDATIONS OF SOFTWARE TECHNOLOGY & THEORETICAL COMPUTER SCIENCE, 1990, PB

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Theoretical Computer Science : 8th Italian Conference, Ictcs 2003, Bertinoro,...

Theoretical Computer Science - 9783662446010

Concrete Semantics by Tobias Nipkow, Gerwin Klein - 9783319357591

Theoretical Computer Science : 8th Italian Conference, Ictcs 2003, Bertinoro,...