شماره ركورد

54085

شماره مدرك

4379825

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

Robert M. Hierons

عنوان

Software Engineering and Formal Methods

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642405600;9783642405617