شماره ركورد

44824

شماره مدرك

4393401

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

Narciso Marti-Oliet

عنوان

Logic, Rewriting, and Concurrency

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319231655;9783319231648