Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Algebra and Coalgebra in Computer Science

Name: Algebra and Coalgebra in Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658552
Price: 58.67 EUR
Availability: InStock
Author: Andrea Corradini
ISBN: 9783642229435

4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Andrea Corradini

Bartek Klin

Corina Cîrstea

Língua

Inglês

Livro Capa mole

Código Libristo: 01658552

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2011

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Co... Descrição completa

Código Libristo: 01658552

142 b

58.67 €

Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Genocidal organ PROJECT ITOH

Capa mole

29.79 €

Studňa Dominik Dán

Livro de capa dura

19.04 €

MISSION SAUVETAGE AU MARAIS AUX OISEAUX NERON MORGAT

Capa mole

11.64 €

Tecnología de producción de cultivos hortícolas de solanáceas y leguminosas Raj Kumar

Capa mole

65.05 €

Imbroglione e Avversari del Sentiero della Mano Sinistra: Black Edition Marcelo De Bara

Capa mole

28.57 €

Livro De Poderosas Receitas Sem Carne Para Atletas Vegans Joseph P. Turner

Adobe ePub DRM

2.73 €

Bułeczka ma tajemnicę Ohlsson Sara

Livro de capa dura

7.89 €

Tata Oli. Tom 10. Tata Oli zostaje jutuberem Thomas Brunstrøm

Livro de capa dura

7.59 €

Der Unterschiedsbetrag aus der Währungsumrechnung im Konzernabschluss

Capa mole

17.12 €

Cartas Familiares Del P. Joseph Francisco De Isla, Volume 6 José Francisco de Isla

Capa mole

22.89 €

Erste Hilfe Frédéric Lador

Capa mole

10.23 €

Der Grundsatz der subjektiven Richtigkeit im Handels- und Steuerbilanzrecht Carl-Christian Knobbe

Capa mole

35.56 €

Selbstbild und Identitat von Oneg Shabbat Lilly Maier

Capa mole

17.12 €

"Religion" in der Soziologie Max Webers Hartmann Tyrell

Livro de capa dura

78.13 €

Usages de l'eau a gaya (niger) Lawali Dambo

Capa mole

106.50 €

FLORENCE, L'INVENTION DE LA RENAISSANCE collegium

Livro

12.25 €

La práctica del relato : manual de estilo literario para narradores Ángel Zapata

Capa mole

26.14 €

Von der Maladetta bis Malaga Wilhelm Lauser

Capa mole

36.88 €

Diseno y Cuantificacion de una Red de Planta Externa con GPON-FTTH Ritler Javier Salvatierra Zambrano

Capa mole

37.79 €

EL LIBRO AZUL MAR BENEGAS ORTIZ

Livro de capa dura

14.68 €

Des Philosophen Von Sanssouci Korrespondenz Mit Dem Herrn Von Voltaire... Friedrich (Preuen

Capa mole

29.79 €

Jak myślą inteligentne maszyny Fierek Filip

Capa mole

36.88 €

Capverdiens - l'archipel par ses habitants Hombres Livro

Capa mole

27.45 €

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.