شماره ركورد

25977

شماره مدرك

4383937

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

Elvira Albert

عنوان

Integrated Formal Methods

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319101804;9783319101811