عنوان
پدید آورنده
موضوع
رده
QA76.9.C65 F67 2011
QA76
.
9
.
C65
F67
2011
کتابخانه
محل استقرار
شابک
شابک
364224310X (electronic bk.)
شابک
9783642243103 (electronic bk.)
شابک اشتباه
9783642243097
شماره کتابشناسی ملی
شماره
b512695
عنوان و نام پديدآور
عنوان اصلي
Formal modeling and analysis of timed systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
نام نخستين پديدآور
Uli Fahrenberg, Stavros Tripakis (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2011]
تاریخ نشرو بخش و غیره
©2011
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 351 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
6919
شاپا ي ISSN فروست
0302-9743 ;
يادداشت کلی
متن يادداشت
International conference proceedings
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
قطعه
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FORMATS 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer simulation, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Temporal automata, Congresses.
رده بندی ديویی
شماره
003/
.
3
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
C65
نشانه اثر
F67
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Fahrenberg, Uli.
مستند نام اشخاص تاييد نشده
Tripakis, Stavros.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
FORMATS 2011(2011 :, Aalborg, Denmark)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20120425035513.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
