Power domains and predicate transformers: a topological view

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Smyth, M. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1983
Schriftenreihe:	Reports / EDINBURGH UNIV CSR-126-83
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	NICHT PAG.