عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .D5 .I33845 1997
QA
76
.
9
.
D5
.
I33845
1997
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
117214
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۸۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Chapman & Hall
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
vii, 550 p.: ill.; 24 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
1st ed
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic data processing-- Distributed processing-- Congresses
عنصر شناسه ای
، Computer network protocols-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
9
.
D5
.
I33845
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
edited by Tadanori Mizuno ... ]et al.[
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU ironadaT ,onuziM
عنصر شناسه اي
CO International Federation for Information Processing
عنصر شناسه اي
CO IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )01th: 7991: Osaka, Japan(
عنصر شناسه اي
CO IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification )71th: 7991: Osaka, Japan(
عنصر شناسه اي
TI
شناسه افزوده (تنالگان)
عنصر شناسه اي
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification )1997: Osaka, Japan(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
