نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Formal methods for components and objects
پدید آورنده
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
موضوع
Formal methods (Computer science), Congresses
رده
QA76
.
9
.
F67
F53
2010eb
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
3642252710 (electronic bk.)
شابک
9783642252716 (electronic bk.)
شابک اشتباه
3642252702
شابک اشتباه
9783642252709
شماره کتابشناسی ملی
شماره
b434332
عنوان و نام پديدآور
عنوان اصلي
Formal methods for components and objects
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers /
نام نخستين پديدآور
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 391 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
6957
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Formal Methods for Components and Objects.
شماره استاندارد بين المللي کتاب و موسيقي
9783642252709
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FMCO 2010
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
شماره رده
QA76
.
9
.
F67
نشانه اثر
F53
2010eb
نشانه اثر
F53
2010eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Aichernig, Bernhard K.,1969-
مستند نام اشخاص تاييد نشده
Boer, Frank S. de
مستند نام اشخاص تاييد نشده
Bonsangue, Marcello M
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
FMCO 2010(2010 :, Graz, Austria)
مبدا اصلی
تاريخ عمليات
20120409104603.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد