شماره ركورد

28854

شماره مدرك

4384039

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

Stephan Merz

عنوان

Formal Methods and Software Engineering

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319117362;9783319117379