Zoekresultaten
Resultaat 1 - 6 (van 6)
H.J. Boom A weaker precondition for loops
Engels | Stichting Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
H.J. Boom Task reduction systems
Engels | 12 pagina's | Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
H.J. Boom Separate compilation, definition modules, and block-structured languages
Engels | 21 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
H.J. Boom Extended type checking
Engels | 15 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
C.H. Lindsey | H.J. Boom A modules and separate compilation facility for ALGOL 68
Engels | 42 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek