شماره ركورد

28135

شماره مدرك

4379272

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

Bernhard Beckert

عنوان

Formal Methods for Components and Objects

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642358869;9783642358876