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.
Ada.
Bosak, J.
72p.
Pitman
1985
Longman Crown
1984
Ada (published on behalf of the Commission of the European Communities)
88p. Cambridge U. Press 1984
Ada Applications & Environments.
Ada As a Second Language.
ISBN: 0-07-011589-3
165p.
Cohen, N.
IEEE Computer Society
McGraw
1984
1986
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.
Addison-Wesley
Jul 88
Skansholm, J. SERIES: Internat. Comp. Sci. S.
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.
et al.
195p. Springer-Verlag 1985 ISBN: 0-387-96182-8
Ausnit, C. N.,
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.
(UK) 1987
Watt, David, et al., 518p. Prentice Hall
Ada Language Reference Manual. Fisher, D. A.-Editor
Gensoft Corp 1986 ISBN: 0-961-82520-0
Ada Language System Textbook.
Primack, E.
336p.
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
Structured Concurrent Programming. Cherry, G. W. 400p.
Prentice-Hall 09/1981 ISBN: 0-835-90151-3
Ada Programming with Applications. Vasilescu, E. N.
Wm C Brown 1987 ISBN: 0-205-08744-2
to
350p.
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.
ISBN: 0-471-85144-2
Skvarcius.
Wiley
06/1988
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.
Winston 1985
Saib, S. 350p.
Holt, Rinehart &
Ada: An Introduction to Program Design & Coding.
Amoroso, S. & Ingargiola, G. 368p. Pitman Pub MA
ISBN: 0-273-01818-3
3/1985
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.
Prentice-Hall 01/1987 ISBN: 0-130-04078-9
560p.
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.
Wiley 01/1985 ISBN: 0-470-20112-6
2nd, rev. ed.
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.
320p. McGraw 11/1988 ISBN: 0-070-03350-1
Baker, L.
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.
ISBN: 0-835-91220-5
Feldman, M. B.
Reston
Jun 85
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.
500p. McGraw 05/1988 ISBN: 0-070-46536-3
Nielsen, K. & Shumate, K.
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
3/1985 ISBN: 0-029-47660-7
288p.
Macmillan
File Structures Using Ada (instructor's guide & software).
Miller, N. E. & Petersen, C. G. 600p. Benjamin-Cummings
Fundamentals of Programming Languages.
Computer Science Press, Inc. 1983
Horowitz, E.
446p.
Good Programming Practice in Ada.
Blackwell Sci.
Nov 87 England
Luker, P. A.
ISBN: 0-632-01746-5
Handbook of Software Engineering.
168p. Van Nostrand Rienhold
Vick, C. & Ramamoorthy, C.
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
ISBN: 0-134-77653-4; 0-134-77646-1
Introduction to Ada.
Merl Miller Assoc.
Introduction to Ada. Young, S. J.
England ISBN: 0-853-12804-9
10/1984
ISBN: 0-317-26567-9
E. Horwood
Dec 84
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.
ISBN: 0-030-59487-1
Saib, S.
Introductory Ada: Packages for Programming.
Wadsworth Pub 1986 ISBN: 0-534-06348-9
Invitation to Ada. Katzan, H.,Jr.
ISBN: 0-894-33239-2
184p.
432p.
HR&W
Texel, P. P.
Petrocelli
1985
441p.
2/1984
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.
Ada Companion Ser. Cambridge U Press 1984
SERIES:
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.
Ada Companion Ser. 255p. Cambridge U Press 5/1984
ISBN: 0-521-26482-0
Power Programming with ADA for the IBM PC. Winters, John
Tab Bks 9/1987 ISBN: 0-8306-7902-2; 0-8306-2902-5
SERIES:
Practitioner's Guide to Ada.
ISBN: 0-07-067922-3
Wallace, R. H.
Problem Solving with ADA. Mayoh, B. H.
in Computing Repr. of 1982 ed.
243p.
320p.
220p.
McGraw
6/1986
SERIES: Wiley Series
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:
Logic, Psychology, & Grit. Lewis. Hayden 1983
ISBN: 0-8104-5211-1
Applied
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.
McGraw-Hill 1983
Organick, E.
Programming Concepts with the Ada Languages.
128p. McGraw ISBN: 0-07-582513-9
Freedman, R. S.
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.
Wiley 01/1983 ISBN: 0-471-87089-7
345p.
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.
Computer Science Press, Inc. 1984
Horowitz, E.
758p.
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.
456p. Castle House Pub, Ltd. 1983
Ichbiah, J.
Reference Manual for the Ada Programming Language.
Springer-Verlag 1983 ISBN: 0-387-90887-0
331p.
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.
Cambridge U Press 1/1987 ISBN: 0-521-33258-3
400p.
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.
SERIES: Int'l. Comput. Sci. S.
England ISBN: 0-201-14227-9
Sommerville, I. & Morrison, R.
Addison-Wesley
Oct 87
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.
& Sincovec, R. F. 451p. Wiley 2/1984
ISBN: 0-471-89014-6
Wiener, R. S.
Software Engineering Project Management. Thayer, Richard. SERIES:
Tutorial Text Series, IEEE Computer Soc. 1988
Software Specification Techniques.
Addison Wesley 1985
Studies in Ada Style.
Hibbard, P., et al. 2nd ed.
ISBN: 0-387-90816-1
111p.
Gehani, N.
600p.
Springer-Verlag
2/1983
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.
ISBN: 0-13-881623-9
Buhr, R.
Testing in Software Development.
Cambridge U Press 1986
288p.
Prentice-Hall
Ould, M. A. & Unwin, C.
The ADA Challenge, 1988: Strategies Risk & Payoffs.
190p. Pasha Pubns 7/1988 ISBN: 0-935453-22-9
The Ada Primer. Johnson, P. I.
ISBN: 0-07-032626-6
The Ada Programming Language.
ISBN: 0-13-003921-7
1/1984
160p.
Pyle, I.
McGraw
Keller, J.
03/1985
Prentice-Hall
1981
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.
ISBN: 0-9615336-6-8
320p.
Silicon Pr
1988
The Ada Software Repository & the DDN. Conn, R.
160p. NY Zoetrope 11/1986 ISBN: 0-918432-78-2
Orig. Ed.
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.
IEEE Computer Society Press 1983
Understanding Ada. Shumate, K.
ISBN: 0-06-046133-0
Parikh, G.
352p.
357p.
Har-Row
6/1984
Understanding ADA: A Software Engineering Approach. Pokrass, D.
& Bray, G. 352p. Wiley 03/1985 ISBN: 0-471-87833-2
Understanding Concurrency in ADA.
ISBN: 0-07-057299-2
Shumate, K.
500p.
McGraw
Understanding Concurrency in ADA.
ISBN: 0-471-60520-4
Shumate, K.
Wiley
1988
UNIX Ada Programming.
ISBN: 0-13-938325-5
368p.
Gehani, N.
Prentice-Hall
6/1988
01/1987