عنوان
پدید آورنده
موضوع
رده
QA76.9.L63
QA76
.
9
.
L63
کتابخانه
محل استقرار
شابک
شابک
3030136515
شابک
3030136523
شابک
9783030136512
شابک
9783030136529
شابک اشتباه
3030136507
شابک اشتباه
9783030136505
عنوان و نام پديدآور
عنوان اصلي
Structured object-oriented formal language and method :
نام عام مواد
[Book]
ساير اطلاعات عنواني
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers /
نام نخستين پديدآور
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (viii, 197 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11392
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Programming and testing -- Verification and validation -- Semantics -- Blockchain.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030136512
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030136505
شماره استاندارد بين المللي کتاب و موسيقي
9783030136529
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SOFL+MSVL 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Object-oriented methods (Computer science), Congresses.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Object-oriented methods (Computer science)
مقوله موضوعی
موضوع مستند نشده
COM051230
موضوع مستند نشده
UL
موضوع مستند نشده
UMZ
موضوع مستند نشده
UMZ
رده بندی ديویی
شماره
005
.
1
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
L63
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Duan, Zhenhua
مستند نام اشخاص تاييد نشده
Liu, Shaoying,1960-
مستند نام اشخاص تاييد نشده
Nagoya, Fumiko
مستند نام اشخاص تاييد نشده
Tian, Cong
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
SOFL+MSVL (Workshop)(8th :2018 :, Gold Coast, Qld.)
مبدا اصلی
تاريخ عمليات
20200823083329.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
