Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 132 pp. Englisch. Bestandsnummer des Verkäufers 9786133141735
Anzahl: 2 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 134890418
Anzahl: 5 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9786133141735
Anzahl: 1 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9786133141735
Anzahl: 1 verfügbar