شماره ركورد

28848

شماره مدرك

4383954

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

Tobias Nipkow

عنوان

Concrete Semantics

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319105413;9783319105420