O N Oest (7 results)

Author:

Refine with Advanced Search

Towards a Formal Description of Ada
Bjorner, D. and O.N. Oest [eds]
Language: English
Published by Springer, Germany, 1980
3540102833 / 9783540102830
- Softcover
Seller: Alhambra Books, Edmonton, AB, CanadaAlhambra Books
5-star seller
Contact seller
Condition: Used - Very good
US$ 13.43
US$ 35.00 shipping
Ships from Canada to U.S.A.
Quantity: 1 available
Trade Paperback. Condition: Very Good. Lecture Notes in Computer Science 98. 630 pp. Light rubbing, lightly creased corners. Interior unmarked. Spine straight and uncreased.
Discover more from D. Bjørner
Explore their published works and collectible offers.Explore D. Bjørner
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Language: English
Published by Springer, 1980
3540102833 / 9783540102830
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
Contact seller
Condition: New
US$ 135.21
US$ 15.30 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New. In.
Towards a Formal Description of Ada
D. Bjorner
Language: English
Published by Springer, Springer, 1980
3540102833 / 9783540102830
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
5-star seller
Contact seller
Condition: New
US$ 128.21
US$ 75.42 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
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.…
Towards a Formal Description of Ada
O. N. Oest
Language: English
Published by Springer Berlin Heidelberg Dez 1980, 1980
3540102833 / 9783540102830
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
5-star seller
Contact seller
Condition: New
US$ 134.62
US$ 26.76 shipping
Ships from Germany to U.S.A.
Quantity: 2 available
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.…
Towards a Formal Description of Ada
Bjorner, Dines|Oest, O. N.
Language: English
Published by Springer Berlin Heidelberg, 1980
3540102833 / 9783540102830
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
5-star seller
Contact seller
Condition: New
US$ 110.57
US$ 56.99 shipping
Ships from Germany to U.S.A.
Quantity: Over 20 available
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.…
More images
Towards a Formal Description of Ada
D. Bjorner (u. a.)
Language: English
Published by Springer, 1980
3540102833 / 9783540102830
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
US$ 114.68
US$ 81.44 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
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.…
Towards a Formal Description of Ada
D. Bjorner
Language: English
Published by Springer, Springer Dez 1980, 1980
3540102833 / 9783540102830
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
5-star seller
Contact seller
Condition: New
US$ 128.21
US$ 69.80 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
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.…