ISBN 9783540738572,Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

Rs5115 Rs7362 31% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540738572
Check delivery information
 
ISBN 9783540738572
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540738572

ISBN-10 3540738576
Binding

Paperback

Number of Pages 484 Pages
Subject

Mathematical theory of computation

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