Research Catalog

  • System design with Ada / R.J.A. Buhr.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, ©1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A35 B83 1984Off-site
  • Parallel programming in ANSI standard Ada / George W. Cherry.

    • Text
    • Reston, Va. : Reston Pub. Co., ©1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .C444 1984Off-site
  • Programming in ADA / J.G.P. Barnes.

    • Text
    • London ; Reading, Mass. : Addison-Wesley, ©1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A35 B37 1984Off-site
  • Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.

    • Text
    • Berlin ; New York : Springer-Verlag, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A35 xT69Off-site
  • Program verification using Ada / Andrew D. McGettrick.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M399Off-site
  • The Programming language Ada : reference manual : proposed standard document, United States Department of Defense.

    • Text
    • Berlin ; New York : Springer, 1981, ©1980.
    • 1981-1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A35 P76Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta