Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science - Davide Sangiorgi - Libros - Cambridge University Press - 9781107004979 - 13 de octubre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Davide Sangiorgi
Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science

Precio
$ 160,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 8 - 27 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

340 pages, 20 b/w illus. 110 exercises

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 13 de octubre de 2011
ISBN13 9781107004979
Editores Cambridge University Press
Páginas 340
Dimensiones 162 × 237 × 24 mm   ·   598 g
Lengua Inglés  
Editor Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam)
Editor Sangiorgi, Davide

Mere med samme udgiver

Ver todo de Davide Sangiorgi ( Ej. Hardcover Book )