شماره ركورد

24474

شماره مدرك

4379556

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

Dirk Beyer

عنوان

Formal Techniques for Distributed Systems

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642385926;9783642385919