شماره ركورد

58594

شماره مدرك

4384299

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

Ernie Cohen

عنوان

Verified Software: Theories, Tools, Experiments

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783642541087;9783642541070