شماره ركورد

9392

شماره مدرك

3719899

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

Boulanger

عنوان

Static Analysis of Software: The Abstract Interpretation

اطلاعات نشر

Wiley

سال نشر

2011

شابك

9781118602843