عنوان
پدید آورنده
موضوع
رده
QA 76.754 .F67 2003
QA
76
.
754
.
F67
2003
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
electronic
عنوان و نام پديدآور
عنوان اصلي
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
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2003
مشخصات ظاهری
نام خاص و کميت اثر
vi, 285 p. : ill. ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science ;4082
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Marco Bernardo, Paola Inverardi )eds.(
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Real-time data processing
عنصر شناسه ای
Congresses ، Formal methods )Computer science(
عنصر شناسه ای
Congresses ، Computer systems
عنصر شناسه ای
Congresses ، Computer software
رده بندی کنگره
شماره رده
QA
76
.
754
.
F67
2003
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Bernardo, Marco
عنصر شناسه اي
AU Inverardi, Paola
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
International School on Formal Methods for the Design of Computer, Communication and Software Systems)3rd :2003 :Bertinoro, Italy(
