عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 N46 2012eb
QA76
.
9
.
F67
N46
2012eb
کتابخانه
محل استقرار
شابک
شابک
364228891X (electronic bk.)
شابک
9783642288913 (electronic bk.)
شابک اشتباه
3642288901
شابک اشتباه
9783642288906
شماره کتابشناسی ملی
شماره
b509301
عنوان و نام پديدآور
عنوان اصلي
NASA formal methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
نام نخستين پديدآور
Alwyn E. Goodloe, Suzette Person (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2012]
تاریخ نشرو بخش و غیره
©2012
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 466 pages) :
ساير جزييات
illustrations (some color).
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7226
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
NASA formal methods.
شماره استاندارد بين المللي کتاب و موسيقي
9783642288906
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
NFM 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Verification, Congresses.
موضوع مستند نشده
Fault-tolerant computing, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
System analysis, Congresses.
رده بندی ديویی
شماره
005
.
13/1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
N46
2012eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Goodloe, Alwyn E.
مستند نام اشخاص تاييد نشده
Person, Suzette.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
NFM 2012(2012 :, Norfolk, Va.)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20120724064645.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
