شماره ركورد

28861

شماره مدرك

4384171

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

Gopal Gupta

عنوان

Logic-Based Program Synthesis and Transformation

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319141244;9783319141251