شماره ركورد

30176

شماره مدرك

4379132

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

Georges Gonthier

عنوان

Certified Programs and Proofs

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783319035444;9783319035451