Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 710, 2009, Proce,Used

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 710, 2009, Proce,Used

In Stock
SKU: DADAX3642037402
Brand: Springer
$70.87 $101.24
Save $30.37
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a highlevel, biannual 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, cochaired 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 710, 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.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed