Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Towards a formal description of Ada

Titel:

Towards a formal description of Ada / ed. by D. Bjørner ...

Beteiligt:

Veröffentlicht:

Berlin [u.a.] : Springer, 1980

Umfang:

XII, 630 S. : graph. Darst.

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 98
alle Bände anzeigen

RVK-Notation:

ISBN:

3540102833 ; 0387102833

Lokale Klassifikationen:

Zusatz-Informationen