Vor Ort
Merkzettel Warenkorb
  • Produktbild: Recent Trends in Algebraic Development Techniques
  • Produktbild: Recent Trends in Algebraic Development Techniques
Band 5486

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2009

Abbildungen

VIII, 343 p.

Herausgeber

Andrea Corradini + weitere

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-03428-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2009

Abbildungen

VIII, 343 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-03428-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Recent Trends in Algebraic Development Techniques
  • Produktbild: Recent Trends in Algebraic Development Techniques
  • Invited Talks.- Concurrent Abstract State Machines and ?+? CAL Programs.- Molecules as Automata.- Service-Level Agreements for Service-Oriented Computing.- Contributed Papers.- Tiles for Reo.- C-semiring Frameworks for Minimum Spanning Tree Problems.- What Is a Multi-modeling Language?.- Generalized Theoroidal Institution Comorphisms.- Graph Transformation with Dependencies for the Specification of Interactive Systems.- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi.- A Rewriting Logic Approach to Type Inference.- A Term-Graph Syntax for Algebras over Multisets.- Transformations of Conditional Rewrite Systems Revisited.- Towards a Module System for K.- Property Preserving Refinement for Csp-Casl.- Reconfiguring Distributed Reo Connectors.- A Rewrite Approach for Pattern Containment.- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum.- Heterogeneous Logical Environments for Distributed Specifications.- Term-Generic Logic.- Declarative Debugging of Rewriting Logic Specifications.- Translating a Dependently-Typed Logic to First-Order Logic.