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

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9781107004979: Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)

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.

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

Book Description:

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.

About the Author:

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.

Editorial: Cambridge University Press (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevos Tapa dura Primera edición Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2011. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería M1107004977

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 70,72
Convertir moneda

Añadir al carrito

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

2.

Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Estado de conservació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. de la librería AAA9781107004979

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 72,24
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.

Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Estado de conservació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. de la librería AAA9781107004979

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 72,85
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.

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

Descripción Cambridge University Press, 2011. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería FM-9781107004979

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 69,70
Convertir moneda

Añadir al carrito

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

5.

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

Descripción 2011. HRD. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería VM-9781107004979

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,53
Convertir moneda

Añadir al carrito

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

6.

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

Descripción 2011. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9781107004979

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 81,80
Convertir moneda

Añadir al carrito

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

7.

Editorial: Cambridge University Press (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevos Tapa dura Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2011. Hardcover. Estado de conservación: New. Never used!. Nº de ref. de la librería P111107004977

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 86,67
Convertir moneda

Añadir al carrito

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

8.

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

Descripción 2011. Hardback. Estado de conservación: NEW. 9781107004979 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0484682

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 86,88
Convertir moneda

Añadir al carrito

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

9.

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

Descripción Cambridge Univ Pr, 2011. Hardcover. Estado de conservación: Brand New. 1st edition. 340 pages. 9.50x6.50x1.00 inches. In Stock. Nº de ref. de la librería __1107004977

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 89,67
Convertir moneda

Añadir al carrito

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

10.

Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)
ISBN 10: 1107004977 ISBN 13: 9781107004979
Nuevos Tapa dura Cantidad: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Estado de conservación: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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. de la librería BTE9781107004979

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 96,59
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

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda