Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-6 of 6 results
System design with Ada / R.J.A. Buhr.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, ©1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA76.73.A35 B83 1984 Off-site Parallel programming in ANSI standard Ada / George W. Cherry.
- Text
- Reston, Va. : Reston Pub. Co., ©1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .C444 1984 Off-site Programming in ADA / J.G.P. Barnes.
- Text
- London ; Reading, Mass. : Addison-Wesley, ©1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA76.73.A35 B37 1984 Off-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
Item details Format Call Number Item Location Text QA76.73.A35 xT69 Off-site Program verification using Ada / Andrew D. McGettrick.
- Text
- Cambridge ; New York : Cambridge University Press, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M399 Off-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
Item details Format Call Number Item Location Text QA76.73.A35 P76 Off-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.
