Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 24.09.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • 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

51,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 GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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: 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.