عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .D5 .F66 1997
QA
76
.
9
.
D5
.
F66
1997
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
117249
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۸۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Formal methods for open object-based distributed systems. volume 2
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Chapman & Hall
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
vii, 470 p.: ill.; 25 cm
يادداشت کلی
متن يادداشت
"IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems )FMOODS '97(, 21-23 July 1997, Canterbury, Kent, UK"
متن يادداشت
"This volume contains the proceedings of the Second IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems )FMOODS '97("-- Preface
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
1st ed
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic data processing-- Distributed processing-- Congresses
عنصر شناسه ای
، Object-oriented methods )Computer science(-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
9
.
D5
.
F66
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by Howard Bowman and John Derrick
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU drawoH ,namwoB
عنصر شناسه اي
AU nhoJ ,kcirreD
عنصر شناسه اي
CO International Federation for Information Processing
عنصر شناسه اي
CO International Workshop on Formal Methods for Open Object-based Distributed Systems )2nd: 7991: Canterbury, Kent, UK.(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
