Action Semantics: Formal Specification, Formal Semantics of Programming Languages, Abstract Machine Notation - Softcover
Search results for Action Semantics: Formal Specification, Formal Semantics...
Seller Image
Action Semantics
Print on DemandSeller: 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 132 pp. Englisch. Seller Inventory # 9786133141735
Buy New
US$ 215.22
US$ 26.70 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Action Semantics | Formal Specification, Formal Semantics of Programming Languages, Abstract Machine Notation
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Action Semantics | Formal Specification, Formal Semantics of Programming Languages, Abstract Machine Notation | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133141735 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 134890418
Buy New
US$ 172.06
US$ 81.26 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Action Semantics
Print on DemandSeller: 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 -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Action semanticsis a framework for the formal specification of semantics of programminglanguages invented by David Watt and Peter D. Mosses. It is a mixture ofdenotational, operational and algebraic semantics. Action Semantics aimsto be pragmatic. Action-Semantic Descriptions (ASDs) are designed toscale up to handle realistic programming languages. This is aided by theextensibility and modifiability of ASDs. This helps to ensure thatextensions and changes do not require too many changes in thedescription. This is in contrast to the typical case when extendingdenotational or operational semantics, which may require reformulationof the entire description.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 132 pp. Englisch. Seller Inventory # 9786133141735
Buy New
US$ 215.22
US$ 69.65 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Action Semantics : Formal Specification, Formal Semantics of Programming Languages, Abstract Machine Notation
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Seller Inventory # 9786133141735
Buy New
US$ 217.80
US$ 70.90 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available