شماره ركورد

56518

شماره مدرك

4389721

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

Nikolaj Bjørner

عنوان

Distributed Computing and Internet Technology

اطلاعات نشر

Springer

سال نشر

2016

شابك

9783319280332;9783319280349