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: 01561078
Price: 51.69 EUR
Availability: InStock
Author: José Luis Fiadeiro
ISBN: 9783540286202

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Língua

Inglês

Livro Capa mole

Código Libristo: 01561078

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

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

Código Libristo: 01561078

125 b

51.69 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

O pojmu cosmona; On the Concept od cosmona Rudolf Polách

Folha

7.38 €

Historie a změny klimatu Pascal Acot

Capa mole

5.45 €

Svetové zdravotnícke systémy v čase globalizácie Peter Ondruš

Capa mole

7.78 €

Komunikační systémy Jean Lohisse

Capa mole

9.30 €

Příběh umění Ernst Hans Gombrich

Livro de capa dura

93.38 €

Exegetické zlomky Klement Alexandrijský

Livro de capa dura

13.55 €

Rozmluva a usuzování Ladislav Tondl

Capa mole

2.22 €

Globální oteplování Země Jaroslav Kadrnožka

Livro de capa dura

26.40 €

Idea univerzity J.H. Newman

Folha

11.32 €

Grafy, mapy, stromy Franco Moretti

Capa mole

6.16 €

Užívání a prožívání jazyka Světla Čmejrková

Capa mole

12.64 €

Hospodářsko-politické důsledky průzkumu vesmíru Martin Machay

Capa mole

8.99 €

KULTURY, CIVILIZACE, SVĚTOVÝ SYSTÉM Jiří Šubrt

Livro

10.71 €

Rétorika a řečová kultura Jiří Kraus

Capa mole

7.38 €

This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras as mathematical objects as well as their application in computer science.§The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and context-aware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and model-driven development; models, correctness and (re)configuration of hardware/middleware/architectures; re-engineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Algebra and Coalgebra in Computer Science

Autor José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2005

Número de páginas 457

EAN 9783540286202

ISBN 3540286209

Código Libristo 01561078

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

Peso 1460

Dimensões 152 x 229 x 26

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Geology of Clays Georges Millot

Capa mole

51.69 €

Gardens and Their Meaning Dora Williams

Capa mole

22.35 €

Windfall Joe Black

Capa mole

9.80 €

Valley of Death; Zombie Trailer Park MR William R Bebb

Capa mole

10.71 €

Local Business Insane Results: How local businesses are cashing in on marketing their businesses online MR Jason C Maxwell

Capa mole

7.17 €

SELECT SPEECHES, FORENSICK AND PARLIAMEN NATHANIEL CHAPMAN

Livro de capa dura

37.32 €

Handbook of 3D Machine Vision Song Zhang

Capa mole

116.75 €

Code of Federal Regulations, Title 17, Commodity and Securities Exchanges, PT. 240-End, Revised as of April 1, 2016 Department of the Treasury (U S )

Capa mole

69.90 €