شماره ركورد

57138

شماره مدرك

4393030

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

Ivan Lanese

عنوان

Formal Aspects of Component Software

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319153179;9783319153162