شماره ركورد

31887

شماره مدرك

4393721

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

Deepak D’Souza

عنوان

Verification, Model Checking, and Abstract Interpretation

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783662460818;9783662460801