E04-0289 contains books in print related to the Ada programming language. AdaIC point of contact: Cheryl Mobley \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ ADA BOOKS The following list includes books in print from 1981 to the present that are related to the Ada progamming language. Ada related documents that have been published by or for the government and available through DTIC/NTIS are on the AdaIC Documents Reference List. //////////////////////////////////////////////////////////////////////// A Review of Ada Tasking. Burns, A., et al. SERIES: Lecture Notes in Computer Science Ser., Vol. 262 viii, 141p. Springer-Verlag 7/1987. ISBN: 0-387-18008-7 Ada. Amoroso, S. 353p. Pitman 1985 Ada. Bosak, J. 72p. Longman Crown 1984 Ada (published on behalf of the Commission of the European Communities) 88p. Cambridge U. Press 1984 Ada Applications & Environments. 165p. IEEE Computer Society 1984 Ada As a Second Language. Cohen, N. McGraw 1986 ISBN: 0-07-011589-3 Ada Concurrent Programming. Gehani, N. 259p. Prentice Hall 1984 Ada Components: Libraries & Tools. Tafvelin, S. SERIES: Ada Companion Ser. 288p. Cambridge U Press 6/1987 ISBN: 0-521-34636-3 Ada for Distributed Systems. Atkinson, C., et al. SERIES: The Ada Companion Ser. 157p. Cambridge U Press 5/1988 ISBN: 0-521-36154-0 Ada for Experienced Programmers. Habermann, A. N. & Perry, D. E. SERIES: Computer Science Ser. 496p. Addison-Wesley 4/1983 ISBN: 0-201-11481-X Ada for Multimicroprocessors. Tedd, M.-Editor, et al. SERIES: Ada Companion Ser. 250p. Cambridge U Press 2/1985 ISBN: 0-521-30103-3 Ada for Programmers. Olsen, E. W. Reston ISBN: 0-835-90149-1 Ada for Specification: Possibilities & Limitations. Goldsack, S. J. SERIES: Ada Companion Ser. 280p. Cambridge U Press 7/1985 ISBN: 0-521-30853-4 Ada from the Beginning. Skansholm, J. SERIES: Internat. Comp. Sci. S. Addison-Wesley Jul 88 England ISBN: 0-201-17522-3 ADA in Industry. Heilbrunner, S. SERIES: ADA Companion Ser. Cambridge U Pr 06/1988 ISBN: 0-521-36347-0 ADA in Practice: Books on Professional Computing Ser. Ausnit, C. N., et al. 195p. Springer-Verlag 1985 ISBN: 0-387-96182-8 Ada in Use: Proceedings of the ADA International Conference, Paris Barnes, J. G.-Editor & Fisher, G.-Editor SERIES: Ada Companion Ser. 350p. Cambridge U Pr 07/1985 ISBN: 0-521-30968-9 Ada Language & Methodology. Watt, David, et al., 518p. Prentice Hall (UK) 1987 Ada Language Reference Manual. Fisher, D. A.-Editor 336p. Gensoft Corp 1986 ISBN: 0-961-82520-0 Ada Language System Textbook. Primack, E. Softech, Inc. Ada Lovelace & the Thinking Machine. Stein, D. SERIES: Series in the History of Computing 368p. MIT Pr 10/1985 ISBN: 0-262-19242-X Ada Military & Commercial Markets. International Resource Development, Inc. Staff 181p. Intl Res Dev 12/1986 ISBN: 0-886-94719-7 Ada Programming Structures: With an Introduction to Structured Concurrent Programming. Cherry, G. W. 400p. Prentice-Hall 09/1981 ISBN: 0-835-90151-3 Ada Programming with Applications. Vasilescu, E. N. 350p. Wm C Brown 1987 ISBN: 0-205-08744-2 Ada Software Tools Interfaces. Wallis, P. J.-Editor SERIES: Lecture Notes in Computer Science Ser.,; Vol. 180 iii, 164p. Springer-Verlag 1984 ISBN:0-387-13878-1 Ada Training Course. First Pub. Dec 84 20B Horseshoe Park, Horseshoe Rd., Pangbourne, Berks England ISBN: 0-948-01530-6 Ada: A Guided Tour & Tutorial. Gilpin, G. 400p. Prentice Hall 09/1986 ISBN: 0-137-30599-0 Ada: A Life & Legacy. Stein, D. SERIES: Series in the History of Computing Repr. of 1985 ed. 360p. MIT Pr 08/1987 ISBN: 0-262-69116-7 ADA: A Programmer's Conversion Course. Stratford-Collins, M. J. SERIES: Ellis Horwood Series in Computers & their Applications 170p. Wiley 06/1982 ISBN: 0-470-27332-1 Ada: A Programmer's Guide with Microcomputer Examples. Stanley, J., et al. Addison-Wesley Date not set Ada: A Programming Reference. Skvarcius. Wiley 06/1988 ISBN: 0-471-85144-2 ADA: An Advanced Introduction. Gehani, N. SERIES: Software Ser. 336p. Prentice-Hall 01/1983 ISBN: 0-130-03962-4 ADA: An Advanced Introduction Including Reference Manual for the Ada Programming Language. Gehani, N. 672p. Prentice-Hall 01/1984 ISBN: 0-130-03997-7 ADA: An Introduction. Ledgard, H. 2nd ed. 135p. Springer-Verlag 06/1983 ISBN: 0-387-90814-5 Ada: An Introduction. Saib, S. 350p. Holt, Rinehart & Winston 1985 Ada: An Introduction to Program Design & Coding. Amoroso, S. & Ingargiola, G. 368p. Pitman Pub MA 3/1985 ISBN: 0-273-01818-3 Ada: An Introduction & Ada Reference Manual (July 1980) Ledgard, H. 392p. Springer-Verlag 09/1981 ISBN: 0-387-90814-5 Ada: Concurrent Programming. Gehani, N. 272p. Prentice-Hall 03/1984 ISBN: 0-130-04011-8 Ada: Countess of Lovelace. Moore, Doris Langley J. Murray Sep 77 England ISBN: 0-719-53384-8 Ada: Langauge & Methodology. Watt, D. A., et al. 560p. Prentice-Hall 01/1987 ISBN: 0-130-04078-9 Ada: Language, Compilers & Bibliography. Rogers, M. W.-Editor SERIES: Ada Companion Ser. Cambridge U Pr 08/1984 ISBN: 0-521-26464-2 Ada: Managing the Transition. Proceedings of the Ada-Europe Int'l Conf. Edinburgh, Scotland. Wallis, P. J. SERIES: Ada Companion Ser. Cambridge U Pr 06/1986 ISBN: 0-521-33091-2 An Attribute Grammar for the Semantic Analysis of Ada. Uhl, J. SERIES: Lecture Notes in Computer Science Ser.,; Vol. 139 511p. Springer-Verlag 1982 ISBN: 0-387-11571-4 An Introduction to Ada. Young, S. J. SERIES: Computers & Their Applications Ser. 2nd, rev. ed. Wiley 01/1985 ISBN: 0-470-20112-6 Anna: A Language for Annotating ADA Programs. Krieg-Brueckner, B.-Editor SERIES: Lecture Notes in Computer Science Ser.,; Vol. 260 v, 143p. Springer-Verlag 06/1987 ISBN: 0-387-17980-1 Applied Ada. Mohnkern, G. L. & Mohnkern, B. 320p. TAB Bks 11/1986 ORDER NO.: NO. 2736 ISBN: 0-830-62736-7 Artificial Intelligence in the Ada Environment. Baker, L. 320p. McGraw 11/1988 ISBN: 0-070-03350-1 Beginning Programming with Ada. Saxon, J. & Fritz, R. E. 240p. Prentice-Hall 02/1983 ISBN: 0-130-71688-X Comparing & Assessing Programming Languages: Ada, C & Pascal Feuer, A. R. & Gehani, N. SERIES: Software Ser. 256p. Prentice-Hall 03/1984 ISBN: 0-131-54840-9 Concurrent Programming in Ada. Burns, A. SERIES: Ada Companion Ser. 250p. Cambridge U Pr 01/1986 ISBN: 0-531-30033-9 Data Structures with Ada. Feldman, M. B. Reston Jun 85 ISBN: 0-835-91220-5 Data Structures of Pascal, Algol Sixty-Eight, PL-1 & Ada. Lewi, J., & Paredaens, J. 402p. Springer-Verlag 08/1986 ISBN: 0-387-15121-4 Designing Large Real-Time Systems with ADA. Nielsen, K. & Shumate, K. 500p. McGraw 05/1988 ISBN: 0-070-46536-3 Developing Large Software Systems with Ada. Sommerville, I. & Morrison, R. SERIES: International Computer Science Ser. 400p. Addison-Wesley 09/1987 ISBN: 0-201-14227-9 Diana: An Intermediate Language for Ada. Goos, G.-Editor 201p. Springer Verlag 1983 ISBN: 0-387-12695-3 Embedded Programming in Ada. Elbert, T. F. & Hauserman, R.-Editor 500p. Van Nos Reinhold 10/1986 ISBN: 0-442-22350-1 Evaluating Ada. LeVerrand; Howlett, J.-Translator 288p. Macmillan 3/1985 ISBN: 0-029-47660-7 File Structures Using Ada (instructor's guide & software). Miller, N. E. & Petersen, C. G. 600p. Benjamin-Cummings Fundamentals of Programming Languages. Horowitz, E. 446p. Computer Science Press, Inc. 1983 Good Programming Practice in Ada. Luker, P. A. Blackwell Sci. Nov 87 England ISBN: 0-632-01746-5 Handbook of Software Engineering. Vick, C. & Ramamoorthy, C. 168p. Van Nostrand Rienhold International IEEE Conference on Ada Applications & Environments, 3rd, 1988: Proceedings. Orig. Title: IEEE Computer Society International Conference on Ada Applications & Environments. 151p. IEEE Comp Soc 05/1988 ORDER NO.: 808 808 808 ISBN: 0-818-68808-4; 0-818-60808-0; 0-818-64808-2 Introduction to Ada. Chirlian, P. & Morrice, N.-Editor Matrix Pubs Inc 300p. Weber Systems 02/1985 ISBN: 0-916-46042-8 Introduction to Ada. Price, D. Prentice-Hall 10/1984 ISBN: 0-134-77653-4; 0-134-77646-1 Introduction to Ada. Merl Miller Assoc. ISBN: 0-317-26567-9 Introduction to Ada. Young, S. J. E. Horwood Dec 84 England ISBN: 0-853-12804-9 Introduction to Ada: A Top-Down Approach for Programmers. Caverly, P. W. & Goldstein, P. 250p. Brooks-Cole 01/1986 ISBN: 0-534-05820-5 Introduction to Programming in Ada. Saib, S. 432p. HR&W 1985 ISBN: 0-030-59487-1 Introductory Ada: Packages for Programming. Texel, P. P. 441p. Wadsworth Pub 1986 ISBN: 0-534-06348-9 Invitation to Ada. Katzan, H.,Jr. 184p. Petrocelli 2/1984 ISBN: 0-894-33239-2 Invitation to Ada & the Ada Reference Manual. Katzan, H.,Jr. 400p. Petrocelli 01/1982 ISBN: 0-894-33132-9 Invitation to Ada: Condensed Edition. Katzan, Harry,Jr. 173p. Van Nos Reinhold 05/1984 ISBN: 0-894-33239-2 Joint Ada Europe/Ada T.E.C. Conference Proceedings, June 1984. Teller, J. (Ed.) SERIES: Ada Companion Ser. Cambridge U Press 02/1985 ISBN: 0-521-30102-5 Life Cycle Support in the Ada Environment. McDermid, J. A. & Ripken, K. SERIES: Ada Companion Ser. 247p. Cambridge U Press 2/1984 ISBN: 0-521-26042-6 Methods & Tools for Compiler Construction. Lorho, B. SERIES: Ada Companion Ser. Cambridge U Press 1984 Parallel Programming in ANSI Standard Ada. Cherry, G. W. Prentice-Hall 04/1984 ISBN: 0-8359-5434-X Portability & Style in Ada. Nissen, J. C. & Wallis, P. J. SERIES: Ada Companion Ser. 255p. Cambridge U Press 5/1984 ISBN: 0-521-26482-0 Power Programming with ADA for the IBM PC. Winters, John 220p. Tab Bks 9/1987 ISBN: 0-8306-7902-2; 0-8306-2902-5 Practitioner's Guide to Ada. Wallace, R. H. 320p. McGraw 6/1986 ISBN: 0-07-067922-3 Problem Solving with ADA. Mayoh, B. H. SERIES: Wiley Series in Computing Repr. of 1982 ed. 243p. Problem Solving Methods with Examples in Ada. Lomuto, Nico 176p. Prentice-Hall 01/1987 ISBN: 0-13-721325-5 Problem Solving Principles for Ada Programmers: Applied Logic, Psychology, & Grit. Lewis. Hayden 1983 ISBN: 0-8104-5211-1 Program Verification Using Ada. McGettrick, Andrew D. SERIES: Cambridge Computer Science Texts, No. 13 350p. Cambridge U Press 8/1982 ISBN: 0-521-24215-0; 0-521-28531-3 Programmer's View of the Intel 432 System. Organick, E. McGraw-Hill 1983 Programming Concepts with the Ada Languages. Freedman, R. S. 128p. McGraw ISBN: 0-07-582513-9 Programming Concepts with the Ada Reference Manual. Freedman, Roy S. 128p. Petrocelli Books 5/1982 ISBN: 0-89433-190-6 Programming in Ada. Wiener, R. & Sincovec, R. 345p. Wiley 01/1983 ISBN: 0-471-87089-7 Programming in Ada. Barnes. 300p. Orig. Ed.; 2nd ed. Addison-Wesley 1983 ISBN: 0-201-13799-2 Programming in Ada: A First Course. Clark, R. G. 350p. Cambridge U Press 5/1985 ISBN: 0-521-25728-X; 0-521-27675-6 Programming with Ada: An Introduction by Means of Graduated Examples. Wegner, P. Prentice-Hall 1980 ISBN: 0-13-730697-0 Programming with Ada Programming Support Environment Software Tools. Freedman, R. S. Petrocelli Books Mar 86 ISBN: 0-894-33220-1 Programming Embedded Systems with Ada. Downes, V. A. & Goldsack, S. J. Prentice-Hall Oct 82 England ISBN: 0-137-30010-7 Programming Languages: A Grand Tour. Horowitz, E. 758p. Computer Science Press, Inc. 1984 Pulse: An Ada-based Ditributed Operating System. Keeffe, D., et al. SERIES: APIC Studies in Data Processing,; Vol. 26 Acad Press 10/1985 ISBN: 0-12-402970-1 Reference Manual for the Ada Programming Language. Ichbiah, J. 456p. Castle House Pub, Ltd. 1983 Reference Manual for the Ada Programming Language. 331p. Springer-Verlag 1983 ISBN: 0-387-90887-0 Reference Manual for the Ada Programming Language. SERIES: MIL STD 1815A 1983 Ser. Orig. Ed. 344p. Gov Printing Office 1983 ORDER NO.: S/N 008-000-00394-7 ISBN: 0-318-11823-8 Scientific Ada. Ford, B.-Editor, et al. SERIES: Ada Companion Ser. 400p. Cambridge U Press 1/1987 ISBN: 0-521-33258-3 Selecting an Ada Environment. Lyons, T. G., et al. SERIES: Ada Companion Ser. 250p. Cambridge U Press 7/1986 ISBN: 0-521-32594-3 Simulation in Strongly Typed Languages: Ada, Pascal, Simula... Bryant, R.-Editor & Unger, B. W.-Editor. SERIES: SCS Simulation Ser., Vol. 13, No. 2 Soc Computer Sim 1984 ISBN: 0-317-05019-2 Simulation Software & Ada. Unger. Soc Computer Sim 1984 ISBN: 0-911801-03-0 Software Components with Ada: Structures, Tools, & Subsystems. Booch, G. 640p. Benjamin-Cummings 1987 ISBN: 0-8053-0610-2 Software Development with ADA. Sommerville, I. & Morrison, R. SERIES: Int'l. Comput. Sci. S. Addison-Wesley Oct 87 England ISBN: 0-201-14227-9 Software Engineering with Ada. Booch, G. 2nd ed. Benjamin-Cummings 1987 Text ed.; instructor's manual ISBN: 0-8053-0604-8; 0-8053-0605-6 Software Engineering with Ada. Booch, G. Benjamin-Cummings 1/1983 Text ed.; transparency masters o.p. ISBN: 0-8053-0600-5; 0-8053-0601-3 Software Engineering with MODULA-2 & Ada. Wiener, R. S. & Sincovec, R. F. 451p. Wiley 2/1984 ISBN: 0-471-89014-6 Software Engineering Project Management. Thayer, Richard. SERIES: Tutorial Text Series, IEEE Computer Soc. 1988 Software Specification Techniques. Gehani, N. 600p. Addison Wesley 1985 Studies in Ada Style. Hibbard, P., et al. 2nd ed. 111p. Springer-Verlag 2/1983 ISBN: 0-387-90816-1 System Development & Ada. Habermann, A. N.-Editor & Montanari, U.-Editor SERIES: Lecture Notes in Computer Science, Vol. 275 305p. Springer-Verlag 1987 ISBN: 0-387-18341-8 System Design with Ada. Buhr, R. 288p. Prentice-Hall 1/1984 ISBN: 0-13-881623-9 Testing in Software Development. Ould, M. A. & Unwin, C. Cambridge U Press 1986 The ADA Challenge, 1988: Strategies Risk & Payoffs. Keller, J. 190p. Pasha Pubns 7/1988 ISBN: 0-935453-22-9 The Ada Primer. Johnson, P. I. 160p. McGraw 03/1985 ISBN: 0-07-032626-6 The Ada Programming Language. Pyle, I. Prentice-Hall 1981 ISBN: 0-13-003921-7 The Ada Programming Language. Pyle, I. Orig. Ed.; 2nd. ed. 336p. Prentice-Hall 01/1985 ISBN: 0-13-003906-3 The Ada Programming Language. Saib, S. H. & Fritz, R. E. SERIES: Tutorial Texts Ser. 538p. IEEE Comp Soc 2/1983 ORDER NO.: Q456 ISBN: 0-8186-0456-5 The ADA Reference Manual. 320p. Silicon Pr 1988 ISBN: 0-9615336-6-8 The Ada Software Repository & the DDN. Conn, R. Orig. Ed. 160p. NY Zoetrope 11/1986 ISBN: 0-918432-78-2 The Calculating Passion of Ada Byron. Baum, J. Archon Books xix, 133p. Shoe String 11/1986 ISBN: 0-208-02119-1 The Programming Language Ada Reference Manual. SERIES: Lecture Notes in Computer Science Ser., Vol. 155 331p. Springer-Verlag 08/1983 ISBN: 0-387-12328-8 The Programming Language Ada: A Reference Manual. Proposed Standard Document U. S. Department of Defense SERIES: Lecture Notes in Computer Sciences Ser., Vol. 106 243p. Springer-Verlag 9/1981 ISBN: 0-387-10693-6 The Programming Languages: Pascal, Modula, Chill, & Ada. Smedema, C. H.; Medema, M.; Boasson, M. 160p. Prentice-Hall 7/1983 Towards a Formal Description of Ada. Bjorner, B.-Editor & Oest, O. N.-Editor SERIES: Lecture Notes in Computer Science, Vol. 98 630p. Springer-Verlag 1980 ISBN: 0-387-10283-3 Tutorial in Software Design Techniques. Freeman, P. & Wasserman, A. 719p. IEEE Computer Society Press 1986 Tutorial on Software Maintenance. Parikh, G. 357p. IEEE Computer Society Press 1983 Understanding Ada. Shumate, K. 352p. Har-Row 6/1984 ISBN: 0-06-046133-0 Understanding ADA: A Software Engineering Approach. Pokrass, D. & Bray, G. 352p. Wiley 03/1985 ISBN: 0-471-87833-2 Understanding Concurrency in ADA. Shumate, K. 500p. McGraw 6/1988 ISBN: 0-07-057299-2 Understanding Concurrency in ADA. Shumate, K. Wiley 1988 ISBN: 0-471-60520-4 UNIX Ada Programming. Gehani, N. 368p. Prentice-Hall 01/1987 ISBN: 0-13-938325-5