Zoekresultaten
Resultaat 1 - 6 (van 6)
J.W. de Bakker | J.W. Klop | J.-J.Ch. Meyer Correctness of programs with function procedures
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop The algebra of recursively defined processes and the algebra of regular processes
Non-fictie
Engels | 29 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop An abstraction mechanism for process algebras
Non-fictie
Engels | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop An algebraic specification method for processes over a finite action set
Non-fictie
Engels | 13 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop A proof rule for restoring logic circuits
Non-fictie
Engels | 21 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop | J.V. Tucker Algebraic tools for system construction
Non-fictie
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek