Items related to Towards a Formal Description of Ada (Lecture Notes...
Search results for Towards a Formal Description of Ada (Lecture Notes...
Seller Image
Towards a Formal Description of Ada
Published by
Springer, Germany, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
Used
Trade Paperback
Seller: Alhambra Books, Edmonton, AB, Canada
Seller rating 5 out of 5 stars
Trade Paperback. Condition: Very Good. Lecture Notes in Computer Science 98. 630 pp. Light rubbing, lightly creased corners. Interior unmarked. Spine straight and uncreased. Seller Inventory # 023152
Buy Used
US$ 13.36
US$ 35.00 shipping
Ships from Canada to U.S.A.
Ships from Canada to U.S.A.
Quantity: 1 available
Stock Image
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540102830_new
Buy New
US$ 134.99
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Towards a Formal Description of Ada
Published by
Springer Berlin Heidelberg Dez 1980, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540102830
Buy New
US$ 133.87
US$ 26.61 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Towards a Formal Description of Ada
Published by
Springer Berlin Heidelberg, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4880885
Buy New
US$ 109.95
US$ 56.68 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Towards a Formal Description of Ada
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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 Print on Demand. Seller Inventory # 102157392
Buy New
US$ 114.04
US$ 80.98 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Towards a Formal Description of Ada
Published by
Springer, Springer Dez 1980, 1980
ISBN 10: 3540102833
ISBN 13: 9783540102830
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540102830
Buy New
US$ 127.49
US$ 69.42 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Towards a Formal Description of Ada
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540102830
Buy New
US$ 127.49
US$ 75.00 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available