Salta al contingut principal

Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction

Autor: Sangiorgi/Rutten
Matèria: Computer Science; Distributed; Networked and Mobile Computing; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 2011
Identificador: 9780511792588
Col·lecció: Computer Science and Information Technology
Accés