شماره ركورد

44087

شماره مدرك

4379510

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

Elvira Albert

عنوان

Logic-Based Program Synthesis and Transformation

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642381966;9783642381973