عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I58 2011
QA76
.
9
.
F67
I58
2011
کتابخانه
محل استقرار
شابک
شابک
3642244300
شابک
3642244319
شابک
9783642244308
شابک
9783642244315
شماره کتابشناسی ملی
شماره
b423645
عنوان و نام پديدآور
عنوان اصلي
Formal methods for industrial critical systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
نام نخستين پديدآور
Gwen Salaün, Bernhard Schätz (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 259 pages)
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
6959
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Formal Methods for Industrial Critical Systems.
شماره استاندارد بين المللي کتاب و موسيقي
9783642244308
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FMICS 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programs-- Reliability, Congresses
موضوع مستند نشده
Computer programs-- Verification, Congresses
موضوع مستند نشده
Computer software-- Reliability, Congresses
موضوع مستند نشده
Computer software-- Verification, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
Software engineering, Congresses
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
I58
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Salaün, G., (Gwen)
مستند نام اشخاص تاييد نشده
Schätz, Bernhard
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Workshop on Formal Methods for Industrial Critical Systems(16th :2011 :, Trento, Italy)
مبدا اصلی
تاريخ عمليات
20170726082129.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
