عنوان
پدید آورنده
موضوع
رده
QA,76.9,.A23,G48,1998
QA
,
76
.
9
,.
A23
,
G48
,
1998
کتابخانه
محل استقرار
شابک
شرايط تهيه و بها
alk. paper)
شابک
3540655069 (pbk.
شماره کتابشناسی ملی
کد کشور
IR
شماره
ebook29262
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Abstract compositional analysis of iterated relations
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:a structural approach to complex state transition systems
نام نخستين پديدآور
/ Fr?�d?�ric Geurts
خط فهرست نويسي و خط اصلي شناسه
fa
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, c1998.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 280 p.
ساير جزييات
: ill. ; 24 cm.
فروست
عنوان فروست
(Lecture notes in computer science,0302-9743
مشخصه جلد
; 1426)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. [257]-272) and index.
فروست (داده ارتباطی)
عنوان
Lecture notes in computer science ;1426.0302-9743
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Abstract data types (Computer science)
موضوع مستند نشده
System analysis.
موضوع مستند نشده
Electronic data processing--Structured techniques
رده بندی ديویی
شماره
005
.
7
,
3
رده بندی کنگره
شماره رده
QA
,
76
.
9
,.
A23
,
G48
,
1998
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Geurts, Fr?�d?�ric
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
005.7,3
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
3540655069.pdf
نوع فرمت الکترونيکي
0
نوع فرمت الکترونيکي
0
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
