عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 F53 2002
QA76
.
9
.
F67
F53
2002
کتابخانه
محل استقرار
شابک
شابک
3540203036 (alk. paper)
شماره کتابشناسی ملی
شماره
b513042
عنوان و نام پديدآور
عنوان اصلي
Formal methods for components and objects :
نام عام مواد
[Book]
ساير اطلاعات عنواني
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
نام نخستين پديدآور
Frank S. de Boer ... [et al.] (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer-Verlag,
تاریخ نشرو بخش و غیره
2003
تاریخ پیش بینی شده انتشار
تاريخ
0311
مشخصات ظاهری
نام خاص و کميت اثر
viii, 507 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science ;
شاپا ي ISSN فروست
2852
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Component software, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
Object-oriented programming (Computer science), Congresses
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
005
.
3
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
F53
2002
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Boer, Frank S. de
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
FMCO 2002(2002 :, Leiden, Netherlands)
مبدا اصلی
تاريخ عمليات
20031112173551.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
