عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2011
QA76
.
9
.
F67
B73
2011
کتابخانه
محل استقرار
شابک
شابک
3642250327
شابک
9783642250323
شابک اشتباه
9783642250316
شماره کتابشناسی ملی
شماره
b434312
عنوان و نام پديدآور
عنوان اصلي
Formal methods, foundations and applications :
نام عام مواد
[Book]
ساير اطلاعات عنواني
14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /
نام نخستين پديدآور
Adenilso Simao, Carroll Morgan (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 203 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7021
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783642250316
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SBMF 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
B73
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Morgan, Carroll,1952-
مستند نام اشخاص تاييد نشده
Simão, Adenilso
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Brazilian Symposium on Formal Methods(14th :2011 :, Sâo Paulo, Brazil)
مبدا اصلی
تاريخ عمليات
20170726082129.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
