Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

by Davide Sangiorgi (Author)

Synopsis

A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.

$113.56

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 260
Publisher: Cambridge University Press
Published: 13 Oct 2011

ISBN 10: 1107003636
ISBN 13: 9781107003637