Introduction to Bisimulation and Coinduction
- Título:
- Introduction to Bisimulation and Coinduction
- 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