عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I584 2009
QA76
.
9
.
F67
I584
2009
کتابخانه
محل استقرار
شابک
شابک
3642103731
شابک
9783642103735
شابک اشتباه
9783642103728
شماره کتابشناسی ملی
شماره
b509238
عنوان و نام پديدآور
عنوان اصلي
Formal methods and software engineering
نام عام مواد
[Book]
ساير اطلاعات عنواني
11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings /
نام نخستين پديدآور
Karin Breitman, Ana Cavalcanti (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2009
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiv, 758 p. :
ساير جزييات
ill.)
فروست
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
5885
شاپا ي ISSN فروست
0302-9743 ;
يادداشت کلی
متن يادداشت
International conference proceedings
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Annotation
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Formal methods and software engineering.
شماره استاندارد بين المللي کتاب و موسيقي
3642103723
قطعه
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ICFEM 2009
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
Software engineering, Congresses
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
I584
2009
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Breitman, K. K., (Karin K.)
مستند نام اشخاص تاييد نشده
Cavalcanti, Ana
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Formal Engineering Methods(11th :2009 :, Rio de Janeiro, Brazil)
مبدا اصلی
تاريخ عمليات
20120501034632.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
