شماره ركورد

47161

شماره مدرك

4384071

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

Dimitra Giannakopoulou

عنوان

Verified Software: Theories, Tools and Experiments

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319121536;9783319121543