Zoekresultaten
Resultaat 1 - 5 (van 5)
J.N. Kok Data flow semantics
Non-fictie
Engels | 112 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.W. de Bakker | J.N. Kok Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.N. Kok | J.J.M.M. Rutten Contractions in comparing concurrency semantics
Non-fictie
Engels | 40 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.W. de Bakker | J.N. Kok Towards a uniform topological treatment of streams and functions on streams
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
Marcello Bonsangue | J.N. Kok Semantics, orderings and recursion in the weakest precondition calculus
Non-fictie
Engels | 58 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek