Algebra Coalgebra Computer Science (65 results)

paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New.

Condition: New.

Paperback or Softback. Condition: New. Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings. Book.

Condition: As New. Unread book in perfect condition.

Condition: Used. pp. 476.

Condition: New.

Condition: Used. pp. 476 Illus.

Broschiert. Condition: Gut. 455 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 720.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles. This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condition: Used. pp. 476.

Condition: New.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

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

Condition: New. pp. 376.

Condition: New. pp. 484.

Condition: New. pp. xi + 456 2009th edition.

Paperback. Condition: Brand New. 2013 edition. 372 pages. 9.00x6.00x0.75 inches. In Stock.

Paperback. Condition: Brand New. 2011 edition. 420 pages. 9.21x6.06x0.94 inches. In Stock.

Paperback. Condition: Brand New. 1st edition. 463 pages. 9.20x6.10x1.10 inches. In Stock.

Paperback. Condition: Brand New. 1st edition. 457 pages. 9.10x6.20x1.00 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013.The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.…