Algebra and Coalgebra in Computer Science Image close
Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science
Show Hide Adult Content
Algebra and Coalgebra in Computer Science close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Applied mathematics  
Mathematics for scientists & engineers

Algebra and Coalgebra in Computer Science

5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$140.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Artificial Evolution
$139.99
Artificial Evolution
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Biology Save $20
$138.99
$159.95
Algebraic Biology
Paperback / softback
Available - Usually ships in 3-4 weeks
Stabilization, Safety, and Security of Distributed Systems Save $5
$143.99
$149.95
Stabilization, Safety, and Security of Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming Save $5
$282.99
$288.95
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures Save $80
$144.99
$225.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures Save $58
$144.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorics on Words
$138.99
Combinatorics on Words
Paperback / softback
Available - Usually ships in 3-4 weeks
Discrete and Computational Geometry and Graphs
$138.99
Discrete and Computational Geometry and Graphs
Paperback / softback
Available - Usually ships in 3-4 weeks
Correct Hardware Design and Verification Methods Save $72
$141.99
$214.95
Correct Hardware Design and Verification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Parallel and Scientific Computing Save $11
$146.99
$158.95
Applied Parallel and Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification Save $16
$146.99
$163.95
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications -- ICCSA 2015 Save $45
$153.99
$199.95
Computational Science and Its Applications -- ICCSA 2015
Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Information and Communication Complexity Save $8
$150.99
$159.95
Structural Information and Communication Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 2006
$305.99
STACS 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Reconfigurable Computing: Architectures, Tools, and Applications Save $28
$140.99
$169.95
Reconfigurable Computing: Architectures, Tools, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational and Ambient Intelligence Save $20
$295.99
$316.95
Computational and Ambient Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
August 8th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Reiko Heckel
  • Edited by Stefan Milius
Illustrations
29 Illustrations, black and white; XIV, 359 p. 29 illus.
Pages
359
Dimensions
155x235x21
ISBN-13
9783642402050
Product ID
21561039

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Non-Fiction >
Maths & Science >
Physics >
Quantum physics (quantum mechanics & quantum field theory)
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists