عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F67
QA
76
.
9
.
F67
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Kluwer academic
تاریخ نشرو بخش و غیره
2000
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 408 p. : illus, tables
فروست
ساير اطلاعات عنواني
IFIP ; 55
يادداشت کلی
متن يادداشت
Includes bibliographical references
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
FORTE/PSTV 0002, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Electronic data processing- Distributed processing
عنصر شناسه ای
Congresses ، Formal methods )Computer science(
رده بندی کنگره
شماره رده
QA
76
.
9
.
F67
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Bolognesi, Tommaso
عنصر شناسه اي
AU Latella, Diego
عنصر شناسه اي
TI
عنصر شناسه اي
SE International Federation for Information Processing )Series( ;
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
IFIP TC6 WG6.1 Joint international conference on formal description techniques for distributed systems and communication protocols and protocol specification, testing and verification)2000 :Pisa, Italy(
