شماره ركورد

26532

شماره مدرك

4393197

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

Susanne Graf

عنوان

Formal Techniques for Distributed Objects, Components, and Systems

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319191942;9783319191959