شماره ركورد

48336

شماره مدرك

3730077

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

Sangiorgi

عنوان

Introduction to Bisimulation and Coinduction

اطلاعات نشر

Cambridge University Press

سال نشر

2012

شابك

9780511777110