Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Towards a Formal Description of Ada

(0)
Erste Bewertung abgeben
Inhalt The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A ...

Tiefpreis

CHF127.20

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Inhalt
The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A formal semantics definition of sequential Ada.- Parallelism in Ada.- The design of a virtual machine for Ada.

Produktinformationen

Titel:
Towards a Formal Description of Ada
Untertitel:
Lecture Notes in Computer Science 98
Schöpfer:
Dines Bjorner
,
O. N. Oest
Editor:
O. N. Oest
,
D. Bjorner
EAN:
9783540102830
ISBN:
3540102833
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Genre:
Programmiersprachen
Veröffentlichung:
01.12.1980
Anzahl Seiten:
648
Gewicht:
966g
Größe:
H235mm x B155mm x T35mm
Jahr:
1980
Untertitel:
Englisch
Auflage:
1980

Mehr entdecken: IT & Informatik

Allgemein & Lexika, Anwendungs-Software, Informatik, Programmiersprachen