Download App
>> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | Algebra And Coalgebr... |
ISBN
:
9783642037405
Publisher
:
Springer
Subject
:
Mathematics, Digital Lifestyle, Computer Science
Binding
:
PAPERBACK
Pages
:
468
Year
:
2009
₹
11004.0
₹
10013.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View DetailsDescription
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.
Related Items
-
of
Solving the Year 2000 Crisis (Artech House Computer Science Library)
Patrick McDermott
Starts At
5135.0
5971.0
14% OFF
Data Modeling and Design for Today's Architectures (Artech House Computer Science Library)
Angelo Bobak
Starts At
1480.0
1702.0
13% OFF
User-Centered Information Design for Improved Software Usability (Artech House Computer Science Library)
Pradeep Henry
Starts At
6679.0
7767.0
14% OFF
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006: IFIP 19th World Computer Congress, TC-1, Foundations of Computer ... in Information and Communication Technology)
Gonzalo Navarro
Starts At
12282.0
12794.0
4% OFF
Finiteness and Regularity in Semigroups and Formal Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Aldo de Luca
Starts At
6840.0
8445.0
19% OFF
Relational Methods for Computer Science Applications
Andrez Szalas
Starts At
8537.0
9382.0
9% OFF
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
S. Abramsky
Starts At
56679.0
65906.0
14% OFF
Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Handbook of Logic in Computer Science Vol. 3)
S. Abramsky
Starts At
56679.0
65906.0
14% OFF
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
S. Abramsky
Starts At
56679.0
65906.0
14% OFF
Languages and Machines : An Introduction to the Theory of Computer Science
Thomas A. Sudkamp
Starts At
655.0
799.0
18% OFF