شماره ركورد

14901

شماره مدرك

3729983

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

MILLER

عنوان

Programming with Higher-Order Logic

اطلاعات نشر

Cambridge University Press

سال نشر

2012

شابك

9781139021326