شماره ركورد

49369

شماره مدرك

4393564

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

Moreno Falaschi

عنوان

Logic-Based Program Synthesis and Transformation

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319274355;9783319274362