شماره ركورد

58325

شماره مدرك

4379896

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

Juliano Iyoda

عنوان

Formal Methods: Foundations and Applications

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642410710;9783642410703