Advanced Topics in Bisimulation and Coinduction Hardback (Cambridge Tracts in Theoretical Computer Science)

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9781107004979: Advanced Topics in Bisimulation and Coinduction Hardback (Cambridge Tracts in Theoretical Computer Science)
Ver todas las copias de esta edición ISBN.
 
 

This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities.

"Sinopsis" puede pertenecer a otra edición de este libro.

Biografía del autor:

Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

Biografía del autor:

Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Computer Science at Radboud University, Nijmegen.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Sangiorgi; Rutten
Publicado por Cambridge University Press (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Original o primera edición Cantidad disponible: 1
Librería
Irish Booksellers
(Portland, ME, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2011. Condición: New. book. Nº de ref. del artículo: M1107004977

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 67,88
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Sangiorgi; Rutten
Publicado por CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: 10
Librería
Book Depository International
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Condición: New. Language: English . Brand New Book. Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master s students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. Nº de ref. del artículo: AAA9781107004979

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 75,82
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Sangiorgi; Rutten
Publicado por CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Condición: New. Language: English . Brand New Book. Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master s students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. Nº de ref. del artículo: AAA9781107004979

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 76,32
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Davide Sangiorgi
Publicado por Cambridge University Press (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Cantidad disponible: 11
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2011. HRD. Condición: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. del artículo: FM-9781107004979

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 72,40
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,24
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Sangiorgi, Davide
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Cantidad disponible: > 20
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2011. HRD. Condición: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. del artículo: IB-9781107004979

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 81,53
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

EDITED BY DAVIDE SANGIORGI , JAN RUTTEN
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 2011. Hardback. Condición: NEW. 9781107004979 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. del artículo: HTANDREE0484682

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 91,48
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,10
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Sangiorgi, Davide (Editor)/ Rutten, Jan (Editor)
Publicado por Cambridge Univ Pr (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Cambridge Univ Pr, 2011. Hardcover. Condición: Brand New. 1st edition. 340 pages. 9.50x6.50x1.00 inches. In Stock. Nº de ref. del artículo: __1107004977

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 94,42
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,53
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Sangiorgi; Rutten
Publicado por Cambridge University Press (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: > 20
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2011. Hardcover. Condición: New. Never used!. Nº de ref. del artículo: 1107004977

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 105,78
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Davide Sangiorgi (editor), Jan Rutten (editor)
Publicado por Cambridge University Press 2011-10-13, Cambridge |New York (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press 2011-10-13, Cambridge |New York, 2011. hardback. Condición: New. Nº de ref. del artículo: 9781107004979

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 100,35
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Sangiorgi, Davide [Editor]; Rutten, Jan [Editor];
Publicado por Cambridge University Press (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevo Tapa dura Cantidad disponible: 10
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2011. Hardcover. Condición: New. Nº de ref. del artículo: INGM9781107004979

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 105,12
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda