عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 D78 2006eb
QA76
.
76
.
D47
D78
2006eb
کتابخانه
محل استقرار
شابک
شابک
0080481477
شابک
0750679492
شابک
1281052183
شابک
6611052186
شابک
9780080481470
شابک
9780750679497
شابک
9781281052186
شابک
9786611052188
شماره کتابشناسی ملی
شماره
b743129
عنوان و نام پديدآور
عنوان اصلي
Modeling and verification using UML statecharts :
نام عام مواد
[Book]
ساير اطلاعات عنواني
a working guide to reactive system design, runtime monitoring, and execution-based model checking /
نام نخستين پديدآور
Doron Drusinsky.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Burlington, MA :
نام ناشر، پخش کننده و غيره
Newnes,
تاریخ نشرو بخش و غیره
©2006.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 306 pages) :
ساير جزييات
illustrations
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 295-301) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Formal requirements and finite automata overview -- Statecharts -- Academic specification languages for reactive systems -- Using statechart assertions for formal specification -- Creating and using temporal statechart assertions -- Application of formal specifications and runtime monitoring to the Ballistic Missile Defense Project.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Elsevier Science & Technology
شماره انبار
114415:114508
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Modeling and verification using UML statecharts.
شماره استاندارد بين المللي کتاب و موسيقي
9780750679497
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Development.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
UML (Computer science)
موضوع مستند نشده
Logiciels-- Développement.
موضوع مستند نشده
Méthodes formelles (Informatique)
موضوع مستند نشده
UML (Informatique)
موضوع مستند نشده
Computer software-- Development.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
UML (Computer science)
رده بندی ديویی
شماره
005
.
1/17
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
76
.
D47
نشانه اثر
D78
2006eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Drusinsky, Doron.
مبدا اصلی
تاريخ عمليات
20201204034136.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
