Cover Image

Towards a formal description of Ada /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bjørner, D. (Dines), 1937-, Oest, O. N.
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1980.
Series:	Lecture notes in computer science ; 98.
Subjects:	Ada (Computer program language) Programming languages (Electronic computers) > Semantics. CHILL. ADA. Ada (Langage de programmation) Ada (langage de programmation) Langages de programmtion > Sémantique. Ada. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Ada, an introduction /
by: Ledgard, Henry F., 1943-
Published: (1983)

Ada 95 reference manual : language and standard libraries /
Published: (1995)

Ada 95 rationale : the language, the standard libraries /
Published: (1995)

The Programming language Ada* : reference manual.
Published: (1983)

The Programming language Ada : reference manual : proposed standard document, United States Department of Defense.
Published: (1981)

A review of Ada tasking /
by: Burns, Alan, 1953-
Published: (1987)

Reference manual for the Ada programming language /
Published: (1983)

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontières", Paris, France, June 14-18, 1993 : proceedings /
Published: (1993)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, the Netherlands, June 1-5, 1992 : proceedings /
Published: (1992)

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings /
Published: (1994)

An Attribute grammar for the semantic analysis of ADA /
Published: (1982)

Ada 95 quality and style /
Published: (1995)

DIANA : an intermediate language for ADA /
Published: (1983)

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings /
Published: (1984)

ADA : language and methodology /
by: Watt, David A. (David Anthony)
Published: (1987)

Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings /
Published: (2001)

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 /
Published: (2001)

Ada letters : a bimonthly publication of AdaTEC.
Published: (1981)

Ada letters : a bimonthly publication of AdaTEC.
Published: (1981)

Ada : towards maturity /
Published: (1993)

Ada : language, compilers, and bibliography /
Published: (1984)

Applied ADA /
by: Mohnkern, Gerald L.
Published: (1986)

Introduction to Ada /
by: Price, David A. (David Andrew), 1961-
Published: (1984)

Introduction to ADA /
by: Chirlian, Paul M.
Published: (1984)

Ada in practice /
Published: (1985)

Scientific Ada /
Published: (1986)

Ada, an introduction /
by: Ledgard, Henry F., 1943-
Published: (1983)

Programming in ADA /
by: Tremblay, Jean-Paul, 1938-
Published: (1990)

Invitation to Ada & Ada reference manual (July 1980) /
by: Katzan, Harry
Published: (1982)

Ada for specification : possibilities and limitations /
Published: (1985)

Programming in Ada : a first course /
by: Clark, Robert G. (Robert George), 1944-
Published: (1985)

Ada, an advanced introduction /
by: Gehani, Narain, 1947-
Published: (1983)

Selecting an Ada environment /
Published: (1986)

Embedded programming in Ada /
by: Elbert, Theodore F.
Published: (1986)

Portability and style in Ada /
Published: (1984)

Programming in Ada 2022 /
by: Barnes, J. G. P. (John Gilbert Presslie)
Published: (2024)

Studies in Ada style /
Published: (1981)

Software components with Ada : structures, tools, and subsystems /
by: Booch, Grady
Published: (1987)

A review of Ada tasking /
by: Burns, Alan, 1953-
Published: (1987)

Reusable Ada components sourcebook /
by: Orme, Tony
Published: (1992)