Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science - Davide Sangiorgi - Books - Cambridge University Press - 9781107004979 - October 13, 2011
In case cover and title do not match, the title is correct

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

Price
$ 160.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 13, 2011
ISBN13 9781107004979
Publishers Cambridge University Press
Pages 340
Dimensions 162 × 237 × 24 mm   ·   598 g
Language English  
Editor Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam)
Editor Sangiorgi, Davide

Mere med samme udgiver

See all of Davide Sangiorgi ( e.g. Hardcover Book )