عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D5 I545 1994
QA
76
.
9
.
D5
I545
1994
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
عنوان اصلي
Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Chapman & Hall on behalf of the International Federation for Information Processing )IFIP(
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
x, 520 p.: ill.; 24 cm.
يادداشت کلی
متن يادداشت
Selected proceedings of the seventh International Conference on Formal Techniques, arranged by the International Federation for Information Processing and held in Brene, Switzerland, October 1994.
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Electronic data processing - Distributed processing
عنصر شناسه ای
Congresses ، Computer network protocols
عنصر شناسه ای
Congresses ، Formal languages
عنصر شناسه ای
Congresses ، Computer programming
رده بندی کنگره
شماره رده
QA
76
.
9
.
D5
I545
1994
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Hogrefe, Dieter
عنصر شناسه اي
AU Leue, Stefan
عنصر شناسه اي
CO IFIP Working Group 6.1
عنصر شناسه اي
CO Association for Computing machinery. Special Interest Group on Data Communications.
عنصر شناسه اي
CO IEEE Computer Society Technical Committee on Distributed Processing
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International Conference on Formal Description Techniques )7th: 1994: Brene, Switzerland(
