Filter

Funktionale Semantik

6 books found

MetaSoft primer
MetaSoft primer

by Andrzej Blikle

1987 3 ed.
Geometry and Meaning
Geometry and Meaning

by Dominic Widdows

2004 1 ed.
Algebraic semantics of imperative programs
Algebraic semantics of imperative programs

by Joseph Goguen

1996 1 ed.
Logic of domains
Logic of domains

by Guo-Qiang Zhang

1991 1 ed.
Software-Bewertung
Software-Bewertung

by Peter Baumann

1992 1 ed.
Ein denotationales Modell für parallele objektbasierte Systeme
Ein denotationales Modell für parallele objektbasierte Syste...

by Holger Naundorf

1997 1 ed.