Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender 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. Nur gültig mit im Onlineshop hinterlegter Bonuscard. 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.
  • Produktbild: Coalgebraic Methods in Computer Science
  • Produktbild: Coalgebraic Methods in Computer Science
  • Produktbild: Coalgebraic Methods in Computer Science
Band 8446

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.2014

Abbildungen

X, 245 p. 4 illus.

Herausgeber

Marcello M. Bonsangue

Verlag

Springer Berlin

Seitenzahl

245

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-44123-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.2014

Abbildungen

X, 245 p. 4 illus.

Herausgeber

Marcello M. Bonsangue

Verlag

Springer Berlin

Seitenzahl

245

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-44123-7

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: Coalgebraic Methods in Computer Science
  • Produktbild: Coalgebraic Methods in Computer Science
  • Produktbild: Coalgebraic Methods in Computer Science
  • Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).- Generic Weakest Precondition Semantics from Monads Enriched with Order.- Coalgebraic Multigames.- How to Kill Epsilons with a Dagger.- On Coalgebras with Internal Moves.- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.- Coalgebraic Simulations and Congruences.- Dijkstra Monads in Monadic Computation.- Categories of Coalgebras with Monadic Homomorphisms.- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.- Canonical Nondeterministic Automata.- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra.- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.