Andrew D. McGettrick

No biography available.

Works (6)

Cover of Graded problems in computer science

Graded problems in computer science

Cover of Concurrent programming

Concurrent programming

Cover of Software specification techniques

Software specification techniques

Cover of The definition of programming languages

The definition of programming languages

Cover of Program verification using Ada

Program verification using Ada

Cover of Algol 68