Zavolejte nám
+420 702 930 442

0Item(s)

V košíku nejsou žádné položky.

Vyhledávejte v miliónech knih všech žánrů v angličtině

Product was successfully added to your shopping cart.
  • Obálka knihy  Algebra and Coalgebra in Computer Science od Corradini Andrea, ISBN:  9783642229435 Obálka knihy  Algebra and Coalgebra in Computer Science od Corradini Andrea, ISBN:  9783642229435

Algebra and Coalgebra in Computer Science

4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2 2011 : Proceedings
Od
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
  • Jazyk: Angličtina
  • Vazba: Paperback
  • ISBN13 (EAN): 9783642229435
  • Kategorie: Maths for computer scientists
  • Počet stran: 431
  • Rozměry (mm): 235 x 155 x 23
  • Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Rok vydání: 2011

Poštovné už od 39 Kč a při objednávce nad 1199 Kč doprava na pobočku Zásilkovny zdarma
Sleva:22%
(Ušetříte 707 Kč)
2 506,00 Kč

  • VELKÝ VÝBĚR

    Nabízíme miliony knih v angličtině. Od beletrie až po ty nejodborněji odborné.

  • POŠTOVNÉ ZDARMA

    Poštovné už od 39 Kč a při objednávce nad 1199 Kč doprava na pobočku Zásilkovny zdarma

  • OVĚŘENO ZÁKAZNÍKY

    Získali jsme certifikát "Ověřeno zákazníky" na Heureka.cz. Prohlédněte si naše recenze

  • SKVĚLÉ CENY

    Ceny knih se snažíme držet při zemi a vždy pod cenou doporučovanou vydavatelem, aby si je mohl koupit opravdu každý.

  • ONLINE PODPORA

    Můžete využít online chatu, emailu nebo nám zatelefonovat.

  • OSOBNÍ PŘÍSTUP

    Nejdůležitější je pro nás Vaše spokojenost. Prodáváme knihy, protože je milujeme. Nejsme žádní nadnárodní giganti, ale poctivá česká firma.

Details

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
  1. Be the first to review this product

Související kategorie