Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Towards a Formal Description of Ada: 98
Immagini fornite dal venditore
Towards a Formal Description of Ada
Editore:
Springer, Germany, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
Antico o usato
Trade Paperback
Da: Alhambra Books, Edmonton, AB, Canada
Valutazione del venditore 5 su 5 stelle
Trade Paperback. Condizione: Very Good. Lecture Notes in Computer Science 98. 630 pp. Light rubbing, lightly creased corners. Interior unmarked. Spine straight and uncreased. Codice articolo 023152
Compra usato
EUR 11,45
Spedizione EUR 30,25
Spedito da Canada a U.S.A.
Spedito da Canada a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540102830_new
Compra nuovo
EUR 115,62
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Towards a Formal Description of Ada
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5908075-n
Compra nuovo
EUR 131,02
Spedizione EUR 2,28
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Towards a Formal Description of Ada
Editore:
Springer Berlin Heidelberg Dez 1980, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 648 pp. Englisch. Codice articolo 9783540102830
Compra nuovo
EUR 112,34
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Towards a Formal Description of Ada
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Inhaltsve. Codice articolo 4880885
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Towards a Formal Description of Ada
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Towards a Formal Description of Ada | D. Bjorner (u. a.) | Taschenbuch | xiv | Englisch | 1980 | Springer | EAN 9783540102830 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 102157392
Compra nuovo
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Towards a Formal Description of Ada
Editore:
Springer, Springer Dez 1980, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 648 pp. Englisch. Codice articolo 9783540102830
Compra nuovo
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Towards a Formal Description of Ada
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540102830
Compra nuovo
EUR 106,99
Spedizione EUR 64,83
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili