Software Construction and Data Structures with Ada 95 (2nd Edition)

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)

The Programming Language Ada: Reference Manual. Proposed Standard Document United States Department of Defense (Lecture Notes in Computer Science, 106)

Multi-Paradigm Programming using C++

Practical Distributed Processing (Undergraduate Topics in Computer Science)

Erfolgreich Programmieren mit Ada: Unter Berücksichtigung des objektorientierten Standards (German Edition)

Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 (Lecture Notes in Computer Science, 1031)

Reliable Software Technologies - Ada-Europe 2002

Studies in Ada® Style

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science, 1088)