Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebra and Coalgebra in Computer Science
N/A
€ 65.68
FREE Delivery in Ireland
Description for Algebra and Coalgebra in Computer Science
Paperback. Constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007. This work covers topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 474 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 673.
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.
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.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
474
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
463
Place of Publication
Berlin, Germany
ISBN
9783540738572
SKU
V9783540738572
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebra and Coalgebra in Computer Science