شماره ركورد

48766

شماره مدرك

4383728

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

Cliff Jones

عنوان

FM 2014: Formal Methods

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319064109;9783319064093