شماره ركورد

49335

شماره مدرك

4393027

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

Carlos Canal

عنوان

Software Engineering and Formal Methods

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319152004;9783319152011