عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I594 2008eb
QA76
.
9
.
F67
I594
2008eb
کتابخانه
محل استقرار
شابک
شابک
3642032400 (e-isbn)
شابک
9783642032400 (e-isbn)
شابک اشتباه
3642032397
شابک اشتباه
9783642032394
شماره کتابشناسی ملی
شماره
b509235
عنوان و نام پديدآور
عنوان اصلي
Formal methods for industrial critical systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
نام نخستين پديدآور
Darren Cofer, Alessandro Fantechi (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2009]
تاریخ نشرو بخش و غیره
©2009
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 231 pages) :
ساير جزييات
illustrations (some color).
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
5596
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Formal methods for industrial critical systems.
شماره استاندارد بين المللي کتاب و موسيقي
9783642032394
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FMICS 2008
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programs-- Reliability, Congresses.
موضوع مستند نشده
Computer programs-- Verification, Congresses.
موضوع مستند نشده
Computer software-- Reliability, Congresses.
موضوع مستند نشده
Computer software-- Verification, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Software engineering, Congresses.
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
005
.
13/1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
I594
2008eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Cofer, Darren.
مستند نام اشخاص تاييد نشده
Fantechi, Alessandro.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Workshop on Formal Methods for Industrial Critical Systems(13th :2008 :, L'Aquila, Italy)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20100809095108.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
