شماره ركورد

40960

شماره مدرك

4393140

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

Maurizio Proietti

عنوان

Logic-Based Program Synthesis and Transformation

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319178226;9783319178219