عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2804
QA
76
.
L28
Vol
.
2804
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
وضعیت ویراست
نام نخستين ويراستار
3rd : 2003 : Bertinoro, Italy
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c2003
مشخصات ظاهری
نام خاص و کميت اثر
vi, 285 p.: ill., tables
فروست
ساير اطلاعات عنواني
Lecture notes in computer science; 4082
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 3540200835
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Marco Bernardo, Paola Inverardi )eds.(
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer software
عنصر شناسه ای
، Computer architecture
عنصر شناسه ای
، System design
عنصر شناسه ای
، Formal methods )Computer science(
رده بندی کنگره
شماره رده
QA
76
.
L28
Vol
.
2804
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Bernardo, Marco
عنصر شناسه اي
AU Inverardi, Paola
عنصر شناسه اي
TI
عنصر شناسه اي
SE
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
