عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 F53 2012
QA76
.
9
.
F67
F53
2012
کتابخانه
محل استقرار
شابک
شابک
3642406157 (electronic bk.)
شابک
9783642406157 (electronic bk.)
شابک اشتباه
9783642406140
شماره کتابشناسی ملی
شماره
b435139
عنوان و نام پديدآور
عنوان اصلي
Formal methods for components and objects :
نام عام مواد
[Book]
ساير اطلاعات عنواني
11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
نام نخستين پديدآور
Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (ix, 241 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
State-of-the-art survey
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7866.
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به مندرجات
متن يادداشت
The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783642406140
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FMCO 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
Software engineering, Congresses
مقوله موضوعی
موضوع مستند نشده
COM051230
موضوع مستند نشده
UMZ
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
شماره رده
QA76
.
9
.
F67
نشانه اثر
F53
2012
نشانه اثر
F53
2012
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Boer, Frank S. de
مستند نام اشخاص تاييد نشده
Bonsangue, Marcello M.
مستند نام اشخاص تاييد نشده
Giachino, Elena,1981-
مستند نام اشخاص تاييد نشده
Hähnle, Reiner
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
FMCO (Symposium)(11th :2012 :, Bertinoro, Italy)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network
مبدا اصلی
تاريخ عمليات
20131202122231.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
