KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Semantics and Algebraic Specification
  • Produktbild: Semantics and Algebraic Specification
Band 5700

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2009

Abbildungen

X, 409 p.

Herausgeber

Jens Palsberg

Verlag

Springer Berlin

Seitenzahl

409

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

633 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04163-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2009

Abbildungen

X, 409 p.

Herausgeber

Jens Palsberg

Verlag

Springer Berlin

Seitenzahl

409

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

633 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04163-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Semantics and Algebraic Specification
  • Produktbild: Semantics and Algebraic Specification
  • Tribute to Peter Mosses.- Action Semantics in Retrospect.- Component-Based Security Policy Design with Colored Petri Nets.- Order-Sorted Parameterization and Induction.- An Implementation of Object-Oriented Action Semantics in Maude.- A Constructive Semantics for Basic Aspect Constructs.- Structural Operational Semantics for Weighted Transition Systems.- On the Specification and Verification of Model Transformations.- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.- Type Checking Evolving Languages with MSOS.- Action Algebras and Model Algebras in Denotational Semantics.- Mobile Processes and Termination.- An Action Semantics Based on Two Combinators.- Converting between Combinatory Reduction Systems and Big Step Semantics.- Model-Based Testing and the UML Testing Profile.- A Complete, Co-inductive Syntactic Theory of Sequential Control and State.- Vertical Object Layout and Compression for Fixed Heaps.