Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 132 pp. Englisch. N° de réf. du vendeur 9786133141735
Quantité disponible : 2 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : 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. N° de réf. du vendeur 134890418
Quantité disponible : 5 disponible(s)
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : 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. N° de réf. du vendeur 9786133141735
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. N° de réf. du vendeur 9786133141735
Quantité disponible : 1 disponible(s)