شماره ركورد

44830

شماره مدرك

4393501

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

Michael Butler

عنوان

Formal Methods and Software Engineering

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319254234;9783319254227