شماره ركورد

39415

شماره مدرك

4379454

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

Andrei Voronkov

عنوان

Programming Logics

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642376504;9783642376511