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.00
US$ 35.00 shipping
Ships from Canada to U.S.A.
Ships from Canada to U.S.A.
Quantity: 1 available
Seller Image
Towards a Formal Description of Ada
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5908075-n
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
Seller Image
Towards a Formal Description of Ada
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5908075
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$ 129.79
US$ 25.80 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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5908075-n
Buy New
US$ 138.67
US$ 19.83 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, 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$ 106.60
US$ 54.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 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 English. Seller Inventory # ria9783540102830_new
Buy New
US$ 145.28
US$ 19.75 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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5908075
Buy Used
US$ 147.01
US$ 19.83 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
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$ 131.71
US$ 39.26 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available