شماره ركورد

46471

شماره مدرك

4379733

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

Natasha Sharygina

عنوان

Computer Aided Verification

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642397998;9783642397981