Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

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.09 EUR
Availability: InStock
Author: José Luis Fiadeiro
ISBN: 9783540286202

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01561078

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

This book constitutes the refereed proceedings of the First International Conference on Algebra and... Descrizione completa

Codice Libristo: 01561078

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

Foglio

6.09 €

Historie a změny klimatu Pascal Acot

In brossura

5.39 €

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

In brossura

6.19 €

Komunikační systémy Jean Lohisse

In brossura

7.79 €

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

Rigido

77.49 €

Exegetické zlomky Klement Alexandrijský

Rigido

11.19 €

Rozmluva a usuzování Ladislav Tondl

In brossura

2.19 €

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

Rigido

22.09 €

Idea univerzity J.H. Newman

Foglio

9.39 €

Grafy, mapy, stromy Franco Moretti

In brossura

5.09 €

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

In brossura

10.49 €

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

In brossura

7.49 €

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

Libro

8.89 €

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

In brossura

6.09 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Algebra and Coalgebra in Computer Science

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

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2005

Numero di pagine 457

EAN 9783540286202

ISBN 3540286209

Codice Libristo 01561078

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 1460

Dimensioni 152 x 229 x 26

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Geology of Clays Georges Millot

In brossura

51.09 €

Gardens and Their Meaning Dora Williams

In brossura

24.19 €

Windfall Joe Black

In brossura

8.69 €

Valley of Death; Zombie Trailer Park MR William R Bebb

In brossura

11.69 €

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

In brossura

7.89 €

SELECT SPEECHES, FORENSICK AND PARLIAMEN NATHANIEL CHAPMAN

Rigido

40.69 €

Handbook of 3D Machine Vision Song Zhang

In brossura

100.09 €

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 )

In brossura

75.69 €