عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal techniques for distributed systems
پدید آورنده
موضوع
oriented programming (Computer science) ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Kong-Electronic data processing ; Distributed processing ; Congresses. ; Object
رده
کتابخانه
كتابخانه مركزي و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
oldebook6067
eng
Formal techniques for distributed systems
Berlin ;New York :
: Springer,
, 2009.
Print
oriented programming (Computer science) ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Kong-Electronic data processing ; Distributed processing ; Congresses. ; Object
Heffter, Arnd. ; -Lee, David. ; Lopes, Ant?nia. ; Poetzsch
old catalog
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح