A generalization of Dijkstra's calculus

Bibliographische Detailangaben

1. Verfasser:	Nelson, Greg (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Palo Alto, Calif. 1987
Schriftenreihe:	Systems Research Center <Palo Alto, Calif.>: SRC reports 16
Schlagworte:	Dijkstra, Edsger Wybe Programmation (Informatique) Computer programming Functional analysis Predicate calculus Recursion theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!