Search results for Towards a Formal Description of Ada (Lecture Notes...
Stock Image
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003071787
Stock Image
Towards a Formal Description of Ada: Lecture Notes in Computer Science #98
Seller: Bingo Used Books, Vancouver, WA, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: Very Good. Trade paperback in very good condition. Seller Inventory # 78765
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 4 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.63
US$ 60.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: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540102830
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$ 129.23
US$ 15.94 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.34
US$ 26.51 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 4 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.52
US$ 56.46 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
Seller: 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. Seller Inventory # 102157392
Buy New
US$ 113.59
US$ 80.67 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 Berlin Heidelberg, Springer Berlin Heidelberg 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch. Seller Inventory # 9783540102830
Buy New
US$ 126.99
US$ 69.14 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$ 126.99
US$ 74.71 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available