عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0444894020
شابک
9780444894021
شماره کتابشناسی ملی
شماره
b556053
عنوان و نام پديدآور
عنوان اصلي
Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
نام عام مواد
[Book]
نام نخستين پديدآور
ed. by K.R. Parker ...
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Amsterdam North-Holland
تاریخ نشرو بخش و غیره
1992
مشخصات ظاهری
نام خاص و کميت اثر
XV, 574 Seiten Diagramme
فروست
عنوان فروست
Formal description techniques, 4; IFIP transactions; C, Communication systems; Formal description techniques, 4; IFIP transactions / C., IFIP transactions, International Federation for Information Processing, 1992 ;, 2
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic digital computers -- Programming -- Congresses
موضوع مستند نشده
ESTELLE.
موضوع مستند نشده
LOTOS (Programmiersprache)
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
ed. by K.R. Parker ...
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
International Federation for Information Processing. Working Group on International Packet Switching for Computer Sharing
مستند نام اشخاص تاييد نشده
Ken R Parker
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
