Author books / Книги автора Davide Sangiorgi Jan Rutten (Editors) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Davide Sangiorgi Jan Rutten (Editors)

book Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction

pdf

Author: Davide Sangiorgi Jan Rutten (Editors)
Language: English
Year: 2012

00

27.01.2024

1

0