Alles van: Frank Sipke de Boer
Resultaat 1 - 1 (van 1)
Frank Sipke de Boer Reasoning about dynamically evolving process structures
a proof theory for the parallel object-oriented language POOL
Non-fictie
Engels | 270 pagina's | Centrum voor Wiskunde en Informatica, [Amsterdam] | 1991
Gedrukt boek