شماره ركورد

27152

شماره مدرك

4389767

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

Barbara Jobstmann

عنوان

Verification, Model Checking, and Abstract Interpretation

اطلاعات نشر

Springer

سال نشر

2016

شابك

9783662491218;9783662491225