Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings - Couverture souple
Synopsis
Algebraic Effects and Recursive Equations.- Adequacy for Infinitary Algebraic Effects (Abstract).- Algebras for Parameterised Monads.- Kleene Monads: Handling Iteration in a Framework of Generic Effects.- Complete Iterativity for Algebras with Effects.- Semantics of Higher-Order Recursion Schemes.- Theory of Coalgebra.- Coalgebraic Components in a Many-Sorted Microcosm.- Complementation of Coalgebra Automata.- Characterising Behavioural Equivalence: Three Sides of One Coin.- Coinduction.- Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract).- Circular Coinduction: A Proof Theoretical Foundation.- Bisimulation.- Approximating Labelled Markov Processes Again!.- Weak Bisimilarity Coalgebraically.- Coalgebraic Symbolic Semantics.- Relating Coalgebraic Notions of Bisimulation.- Traces, Executions and Schedulers, Coalgebraically.- Non-strongly Stable Orders Also Define Interesting Simulation Relations.- Stone Duality.- Stone Duality and the Recognisable Languages over an Algebra.- Free Heyting Algebras: Revisited.- Distributive Lattice-Structured Ontologies.- A Duality Theorem for Real C * Algebras.- Game Theory.- Conway Games, Coalgebraically.- A Semantical Approach to Equilibria and Rationality.- Graph Transformation.- Van Kampen Colimits as Bicolimits in Span.- Unfolding Grammars in Adhesive Categories.- Software Development Techniques.- Views on Behaviour Protocols and Their Semantic Foundation.- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.- Constructor-Based Institutions.- CALCO Tools Workshop.- DBtk: A Toolkit for Directed Bigraphs.- Constraint-Muse: A Soft-Constraint Based System for Music Therapy.- CIRC: A Behavioral Verification Tool Based on Circular Coinduction.- The Priced-Timed Maude Tool.- A Tool Proving Well-Definedness of Streams Using Termination Tools.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Algebra and Coalgebra in Computer Science: Third Internation...
Image d'archives
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science, 5728)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLING22Oct2817100464171
Acheter neuf
EUR 61,92
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science, 5728)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642037405
Acheter neuf
EUR 65,46
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science, 5728)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783642037405_new
Acheter neuf
EUR 58,12
Frais de port :
EUR 13,71
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642037405
Acheter neuf
EUR 56,55
Frais de port :
EUR 17,73
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Algebra and Coalgebra in Computer Science
Edité par
Berlin Springer Berlin Heidelberg Springer Aug 2009, 2009
ISBN 10 : 3642037402
ISBN 13 : 9783642037405
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining CMCS (the International WorkshoponCoalgebraicMethodsinComputerScience)andWADT(theWo- shoponAlgebraicDevelopmentTechniques).CALCObringstogetherresearchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer s- ence. The study of algebra and coalgebra relates to the data, process and str- tural aspects of software systems. CALCO is supervised by the Steering C- mittee, co-chaired by Jos e Luiz Fiadeiro and Jan Rutten. The rst two CALCO conferences took place in 2005 in Swansea, Wales, and in 2007 in Bergen, Norway. CALCO 2009, the third event in the series, took place in Udine, Italy, during September 7 10, 2009. CALCO 2009 received 42 submissions, out of which 23 were selected for presentationattheconference.Inspiteofarelativelylownumberofsubmissions, their standard was generally very high. The selection process was carried out by the Program Committee, taking into account the originality, quality and relevance of the material presented in each submission, based on the opinions of expert reviewers, four for each submission. The selected and revised papers are included in this volume, together with the contributions from the invited speakersMaiGehrke,ConorMcBride,PrakashPanangadenandGordonPlotkin. 457 pp. Englisch. N° de réf. du vendeur 9783642037405
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings: Vol 5728
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 457 pages. 9.10x6.20x1.00 inches. In Stock. N° de réf. du vendeur x-3642037402
Acheter neuf
EUR 81,46
Frais de port :
EUR 14,31
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Algebra and Coalgebra in Computer Science
Edité par
Springer Berlin Heidelberg, 2009
ISBN 10 : 3642037402
ISBN 13 : 9783642037405
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic Effects and Recursive Equations.- Adequacy for Infinitary Algebraic Effects (Abstract).- Algebras for Parameterised Monads.- Kleene Monads: Handling Iteration in a Framework of Generic Effects.- Complete Iterativity for Algebras with Effects.- Sem. N° de réf. du vendeur 5044095
Acheter neuf
EUR 53,32
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2009
ISBN 10 : 3642037402
ISBN 13 : 9783642037405
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining CMCS (the International WorkshoponCoalgebraicMethodsinComputerScience)andWADT(theWo- shoponAlgebraicDevelopmentTechniques).CALCObringstogetherresearchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer s- ence. The study of algebra and coalgebra relates to the data, process and str- tural aspects of software systems. CALCO is supervised by the Steering C- mittee, co-chaired by Jos e Luiz Fiadeiro and Jan Rutten. The rst two CALCO conferences took place in 2005 in Swansea, Wales, and in 2007 in Bergen, Norway. CALCO 2009, the third event in the series, took place in Udine, Italy, during September 7 10, 2009. CALCO 2009 received 42 submissions, out of which 23 were selected for presentationattheconference.Inspiteofarelativelylownumberofsubmissions, their standard was generally very high. The selection process was carried out by the Program Committee, taking into account the originality, quality and relevance of the material presented in each submission, based on the opinions of expert reviewers, four for each submission. The selected and revised papers are included in this volume, together with the contributions from the invited speakersMaiGehrke,ConorMcBride,PrakashPanangadenandGordonPlotkin. N° de réf. du vendeur 9783642037405
Acheter neuf
EUR 53,49
Frais de port :
EUR 63,55
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Algebra and Coalgebra in Computer Science | Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Algebra and Coalgebra in Computer Science | Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings | Alexander Kurz (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642037405 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 101499236
Acheter neuf
EUR 50,40
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Edité par
Springer-Verlag GmbH, 2009
ISBN 10 : 3642037402
ISBN 13 : 9783642037405
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 457 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 5673000/2
Acheter D'occasion
EUR 35,81
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)