Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
⚡20% auf ausgewählte E-Books
Zur Aktion

Towards a Formal Description of Ada

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.

Format auswählen

  • Kartonierter EinbandCHF 127.20
Kartonierter Einband
CHF127.20
TIEFPREIS
CHF127.20
Print on Demand - Exemplar wird für Sie besorgt. 
Kostenlose Lieferung 
20% auf ausgewählte E-Books: Nur bis Montag

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:
D. Bjorner
,
O. N. Oest
EAN:
9783540102830
ISBN:
3540102833
Format:
Kartonierter Einband
Herausgeber:
Springer
Genre:
Programming Languages
Veröffentlichung:
01.12.1980
Anzahl Seiten:
648
Gewicht:
966g
Größe:
H235mm x B155mm x T35mm
Jahr:
1980
Untertitel:
Englisch
Lesemotiv:
Verstehen

Mehr entdecken: IT & Computer Science

Information Technology, IT Encyclopedias, Programming Languages, Software