Items related to Algebra and Coalgebra in Computer Science: Third Internation...
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings: 5728 (Lecture Notes in Computer Science, 5728) - Softcover
Algebra and Coalgebra in Computer Science This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference was held in Udine, Italy, September 7-10, 2009. The 23 full papers were carefully reviewed and selected from 42 submissions. They are presented together with four invited talks and workshop papers from the CALCO-tools Workshop. The conference was divided into the following sessions: algebraic effects and recursive equations, theory of coalgebra, coinduction, bisimulation, stone duality, game theory, graph transformation, and software development techniques.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2009
- ISBN 10 3642037402
- ISBN 13 9783642037405
- BindingPaperback
- Number of pages468
- EditorKurz Alexander, Lenisa Marina
Top Search Results from the AbeBooks Marketplace
Seller Image
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642037405
Buy New
£ 45.82
Convert currency
Stock Image
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science, 5728)
Published by
Springer
(2009)
ISBN 10: 3642037402
ISBN 13: 9783642037405
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLING22Oct2817100464171
Buy New
£ 48.50
Convert currency
Stock Image
Algebra and Coalgebra in Computer Science : Third International Conference; CALCO 2009; Udine; Italy; September 7-10; 2009; Proceedings
Published by
Springer
(2009)
ISBN 10: 3642037402
ISBN 13: 9783642037405
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642037405_lsuk
Buy New
£ 48.96
Convert currency
Seller Image
Algebra and Coalgebra in Computer Science
Published by
Berlin Springer Berlin Heidelberg Springer Aug 2009
(2009)
ISBN 10: 3642037402
ISBN 13: 9783642037405
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: 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. Seller Inventory # 9783642037405
Buy New
£ 47.27
Convert currency
Stock Image
Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings: Vol 5728
Seller:
Rating
Book Description Paperback. Condition: Brand New. 1st edition. 457 pages. 9.10x6.20x1.00 inches. In Stock. Seller Inventory # x-3642037402
Buy New
£ 61.20
Convert currency
Seller Image
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Published by
Springer, Berlin, Springer Berlin Heidelberg, Springer
(2009)
ISBN 10: 3642037402
ISBN 13: 9783642037405
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: 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. Seller Inventory # 9783642037405
Buy New
£ 51.35
Convert currency
Seller Image
Algebra and Coalgebra in Computer Science
Published by
Springer Berlin Heidelberg
(2009)
ISBN 10: 3642037402
ISBN 13: 9783642037405
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: 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. Seller Inventory # 5044095
Buy New
£ 47.27
Convert currency
Stock Image
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783642037405
Buy New
£ 82.60
Convert currency