1
Program verification using ada

Cover is for reference only
Main Authors: McGettrick Andrew D
Published: Cambridge University Press,
Publication Dates: 1982.
Call Number: TP312/M145-1/
Book
Save to List
Saved in:
2
The definition of programming languages

Cover is for reference only
Main Authors: McGettrick Andrew D., 1944-
Published: Cambridge University Press,
Publication Dates: 1980.
Call Number: TP312/M145.1/
Book
Save to List
Saved in:
3
ALGOL 68 a first and second course

Cover is for reference only
Main Authors: McGettrick Andrew D., 1944-
Published: Cambridge University Press,
Publication Dates: 1978.
Call Number: TP312/M145/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —