شماره ركورد

26053

شماره مدرك

4385173

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

A. W. Appel

عنوان

Program Logics for Certified Compilers

اطلاعات نشر

CUP

سال نشر

2014

شابك

9781107048010