شماره ركورد

25051

شماره مدرك

4389073

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

Ludovic Chamoin

عنوان

Verifying Calculations - Forty Years On

اطلاعات نشر

Springer

سال نشر

2016

شابك

9783319205526;9783319205533