شماره ركورد

23132

شماره مدرك

4383878

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

Armin Biere

عنوان

Computer Aided Verification

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319088679;9783319088662