شماره ركورد

30908

شماره مدرك

4384297

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

Kenneth L. McMillan

عنوان

Verification, Model Checking, and Abstract Interpretation

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783642540127;9783642540134