شماره ركورد

24457

شماره مدرك

4379270

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

Roberto Giacobazzi,

عنوان

Verification, Model Checking, and Abstract Interpretation

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642358739;9783642358722