شماره ركورد

28837

شماره مدرك

4383771

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

Marco Bernardo

عنوان

Formal Methods for Executable Software Models

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319073163;9783319073170