Explore Books on
funktionale semantik

MetaSoft primer

By Andrzej Blikle

Geometry and Meaning

By Dominic Widdows

Algebraic semantics of imperative programs

By Joseph Goguen

Logic of domains

By Guo-Qiang Zhang

Software-Bewertung

By Peter Baumann

Ein denotationales Modell für parallele objektbasierte Systeme

By Holger Naundorf