شماره ركورد
14780
شماره مدرك
4364558
نويسنده/تنالگان
Roberto Gorrieri
عنوان
Introduction to Concurrency Theory - Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319214900
Link To Document