作者: Amsterdam) Rutten Jan (Stichting Centrum voor Wiskunde en Informatica (CWI)

1 电子书 Amsterdam) Rutten Jan (Stichting Centrum voor Wiskunde en Informatica (CWI)

Jan Rutten & Davide Sangiorgi: Advanced Topics in Bisimulation and Coinduction

…

PDF

英语

DRM

€141.38