, ,

Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Paperback Engels 2007 2007e druk 9783540738572
€ 114,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Samenvatting

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.

Specificaties

ISBN13:9783540738572
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:463
Uitgever:Springer Berlin Heidelberg
Druk:2007

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

€ 114,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Artikelen

          Algebra and Coalgebra in Computer Science