Advanced Topics in Bisimulation and Coinduction
- Título:
- Advanced Topics in Bisimulation and Coinduction
- Materia:
- Computer Science; British History 1066-1450; European History 1000-1450; European Studies
- Editor:
- Cambridge University Press
- Descripción:
- Books for Research
- Identificadores:
- E-ISBN: 9780511792588; 9781107004979 ISBN:
- Colección:
- Cambridge University Press