BookOrb
🔍
  • Authors
  • About
  • Sign In
  • Join
  • Authors
  • About
  • Sign In
  • Join BookOrb
Home › Authors › Andrew D. McGettrick
👤

Andrew D. McGettrick

b. 1944 ยท 4 books

Books by Andrew D. McGettrick

Software specification techniques
Software specification techniques
1986
Graded problems in computer science
Graded problems in computer science
1983
Program verification using Ada
Program verification using Ada
1982
The definition of programming languages
The definition of programming languages
1980
BookOrb

AI-powered book discovery for every reader.

Discover

Authors Search

Company

About Privacy Terms Contact

Account

Sign In Create Account

© 2026 BookOrb.com · Interlink Digital Group Limited