شماره ركورد

36484

شماره مدرك

3731479

نويسنده/تنالگان

Sangiorgi

عنوان

Advanced Topics in Bisimulation and Coinduction

اطلاعات نشر

Cambridge University Press

سال نشر

2011

شابك

9780511792588