Articoli correlati a Towards a Formal Description of Ada: 98

Towards a Formal Description of Ada: 98 - Brossura

Oest, O.N.; Bjorner, D

 
9783540102830: Towards a Formal Description of Ada: 98
Brossura
ISBN 10: 3540102833 ISBN 13: 9783540102830
Casa editrice: Springer, 2008

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.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540102833
ISBN 13 
9783540102830
Rilegatura
Copertina flessibile
Numero di pagine
648
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Compra usato

Condizioni: molto buono
Visualizza questo articolo
9783540102830: Towards a Formal Description of Ada: 98
EUR 12,04

Convertire valuta

EUR 3,39 per la spedizione in U.S.A.

Destinazione, tempi e costi

Risultati della ricerca per Towards a Formal Description of Ada: 98

Foto dell'editore

Oest, O.N.; Bjorner, D
Editore: Springer, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Antico o usato paperback

Da: Books From California, Simi Valley, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

paperback. Condizione: Very Good. Codice articolo mon0003071787

Contatta il venditore

Compra usato

EUR 12,04
Convertire valuta
Spese di spedizione: EUR 3,39
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bjorner, D.
Editore: Springer-Verlag, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Antico o usato Soft cover

Da: Bingo Used Books, Vancouver, WA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Soft cover. Condizione: Very Good. Trade paperback in very good condition. Codice articolo 78765

Contatta il venditore

Compra usato

EUR 13,06
Convertire valuta
Spese di spedizione: EUR 5,34
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Bjorner, D. and O.N. Oest [eds]
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 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra usato

EUR 11,42
Convertire valuta
Spese di spedizione: EUR 50,98
Da: Canada a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bjorner, D
Editore: Springer, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Brossura

Da: GoldBooks, Denver, CO, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: new. Codice articolo 74Y56_87_3540102833

Contatta il venditore

Compra nuovo

EUR 84,32
Convertire valuta
Spese di spedizione: EUR 3,61
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Oest, O.N.; Bjorner, D
Editore: Springer, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540102830

Contatta il venditore

Compra nuovo

EUR 95,78
Convertire valuta
Spese di spedizione: EUR 7,63
In U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Oest, O.N.; Bjorner, D
Editore: Springer, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020158915

Contatta il venditore

Compra nuovo

EUR 102,56
Convertire valuta
Spese di spedizione: EUR 3,39
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Oest, O.N.; Bjorner, D
Editore: Springer, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783540102830

Contatta il venditore

Compra nuovo

EUR 115,52
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Oest, O.N.; Bjorner, D
Editore: Springer, 1980
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540102830_new

Contatta il venditore

Compra nuovo

EUR 111,65
Convertire valuta
Spese di spedizione: EUR 13,80
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

O. N. Oest
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 112,34
Convertire valuta
Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Bjorner, Dines|Oest, O. N.
ISBN 10: 3540102833 ISBN 13: 9783540102830
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra nuovo

EUR 92,27
Convertire valuta
Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 2 copie di questo libro

Vedi tutti i risultati per questo libro