عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
شابک
شابک
3030024504
شابک
9783030024505
شابک اشتباه
3030024490
شابک اشتباه
9783030024499
عنوان و نام پديدآور
عنوان اصلي
Formal methods and software engineering :
نام عام مواد
[Book]
ساير اطلاعات عنواني
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
نام نخستين پديدآور
Jing Sun, Meng Sun (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxii, 474 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
11232
يادداشت کلی
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030024505
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030024499
شماره استاندارد بين المللي کتاب و موسيقي
9783030024512
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ICFEM 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Software engineering, Congresses.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computers-- Expert Systems.
موضوع مستند نشده
Computers-- General.
موضوع مستند نشده
Computers-- Hardware-- Handheld Devices.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Expert systems-- knowledge-based systems.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Information technology: general issues.
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
موضوع مستند نشده
Software engineering.
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
Systems analysis & design.
مقوله موضوعی
موضوع مستند نشده
COM051230
موضوع مستند نشده
UMZ
موضوع مستند نشده
UMZ
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Sun, Jing, (Computer scientist)
مستند نام اشخاص تاييد نشده
Sun, Meng
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Formal Engineering Methods(20th :2018 :, Gold Coast, Qld.)
مبدا اصلی
تاريخ عمليات
20200823074222.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
