نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Software engineering and formal methods :
پدید آورنده
Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
موضوع
Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده
QA76
.
758
.
I58
2011
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
3642246907 (electronic bk.)
شابک
9783642246906 (electronic bk.)
شابک اشتباه
9783642246890
شماره کتابشناسی ملی
شماره
b509282
عنوان و نام پديدآور
عنوان اصلي
Software engineering and formal methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
نام نخستين پديدآور
Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2011]
تاریخ نشرو بخش و غیره
©2011
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiv, 504 pages) :
ساير جزييات
illustrations (some color).
فروست
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
7041
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
قطعه
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SEFM 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Software engineering, Congresses.
رده بندی ديویی
شماره
005
.
3
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
758
نشانه اثر
.
I58
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Barthe, Gilles,1967-
مستند نام اشخاص تاييد نشده
Pardo, Alberto.
مستند نام اشخاص تاييد نشده
Schneider, Gerardo.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Software Engineering and Formal Methods(9th :2011 :, Montevideo, Uruguay)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20120425035514.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد