عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642307922
شابک
3642307930
شابک
9783642307928
شابک
9783642307935
شماره کتابشناسی ملی
شماره
b598171
عنوان و نام پديدآور
عنوان اصلي
Formal techniques for distributed systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16 2012 : proceedings
نام نخستين پديدآور
Holger Giese, Grigore Rosu (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©2012.
مشخصات ظاهری
نام خاص و کميت اثر
(XII, 267 p.) : illustrations.
فروست
عنوان فروست
Lecture notes in computer science, 7273.
يادداشت کلی
متن يادداشت
Two of the conferences at the 7th International Federated Conferences on Distributed Computing Techniques (DisCoTec).
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FMOODS 2012; FORTE 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Distributed operating systems (Computers) -- Congresses.
موضوع مستند نشده
Formal methods (Computer science) -- Congresses.
موضوع مستند نشده
software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Holger Giese, Grigore Rosu (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Grigore Roșu
مستند نام اشخاص تاييد نشده
Holger Giese
مستند نام اشخاص تاييد نشده
IFIP Working Group 6.1.
مستند نام اشخاص تاييد نشده
International Federation for Information Processing.
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
