عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 N46 2014
QA76
.
9
.
F67
N46
2014
کتابخانه
محل استقرار
شابک
شابک
3319061992
شابک
9783319061993
شابک اشتباه
9783319062006 (ebk.)
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
NASA formal methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
6th International Symposium, NFM 2014, Houston, TX, USA, April 29-May 1, 2014 : proceedings /
نام نخستين پديدآور
Julia M. Badger, Kristin Yvonne Rozier (eds.)
مشخصات ظاهری
نام خاص و کميت اثر
xxv, 360 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
8430
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
NFM 2014
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
N46
2014
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Badger, Julia M.
مستند نام اشخاص تاييد نشده
Rozier, Kristin Yvonne
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
NFM (Symposium)(6th :2014 :, Houston, Tex.)
مبدا اصلی
تاريخ عمليات
20160712084137.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
