Zoekresultaten
Resultaat 1 - 7 (van 7)
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.W. de Bakker Recursive programs as predicate transformers
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
J.W. de Bakker Semantics of infinite processes using generalized trees
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
J.W. de Bakker Correctness proofs for assignment statements
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
J.W. de Bakker Semantics and the foundations of program proving
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
K.R. Apt | J.W. de Bakker Exercises in denotational semantics
Engels | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
J.W. de Bakker | J.I. Zucker Compactness in semantics for merge and fair merge
Non-fictie
Engels | 15 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek