Towards a Formal Description of Ada
(Sprache: Englisch)
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.
Leider schon ausverkauft
versandkostenfrei
Buch
112.34 €
Produktdetails
Produktinformationen zu „Towards a Formal Description of Ada “
Klappentext zu „Towards a Formal Description of Ada “
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.
Inhaltsverzeichnis zu „Towards a Formal Description of Ada “
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.
Bibliographische Angaben
- 1980, 1980, 630 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Dines Bjorner and O. N. Oest
- Herausgegeben: O. N. Oest, D. Bjorner
- Verlag: Springer
- ISBN-10: 3540102833
- ISBN-13: 9783540102830
- Erscheinungsdatum: 01.12.1980
Sprache:
Englisch
Kommentar zu "Towards a Formal Description of Ada"
0 Gebrauchte Artikel zu „Towards a Formal Description of Ada“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Towards a Formal Description of Ada".
Kommentar verfassen