Search results for Towards a Formal Description of Ada: 98 (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
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
£ 96.88
£ 11.98 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
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
£ 82.08
£ 42.31 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
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
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