Introduction to Bisimulation and Coinduction

Título:
Introduction to Bisimulation and Coinduction
Autor:
Sangiorgi
Materia:
Computer Science; Ancient History; Biblical Studies - New Testament; Classical Literature
Editor:
Cambridge University Press
Descripción:
Coursebooks
Identificadores:
E-ISBN: 9780511777110; 9781107003637 ISBN:
Colección:
Cambridge University Press