شماره ركورد

54294

شماره مدرك

4390165

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

Mathias Soeken

عنوان

Formal Specification Level

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319086996;9783319086989