Andrew D. McGettrick
5 published titles
The definition of programming languages
1 edition
- ISBN: 0521226317
- Cambridge University Press
- 1980
- Details
Program verification using Ada
1 edition
- ISBN: 0521242150
- Cambridge University Press
- 1982
- Details
Graded problems in computer science
1 edition
- ISBN: 0201137879
- Addison-Wesley
- 1983
- Details
Software specification techniques
(Contributor)
1 edition
- ISBN: 0201142309
- Addison-Wesley
- 1986
- Details
Concurrent programming
(Contributor)
1 edition
- ISBN: 0201174359
- Addison-Wesley
- 1988
- Details
