عنوان
پدید آورنده
موضوع
رده
QA75.5 .T525 1995
QA75
.
5
.
T525
1995
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: تبریز
شابک
شابک اشتباه
186094003X
شماره کتابشناسی ملی
کد کشور
IR
شماره
97-1725
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Theory and formal methods of computing 94
نام عام مواد
[Book]
ساير اطلاعات عنواني
:proceedings of the Second Imperial College Workshop
نام نخستين پديدآور
/ editors, C. Hankin, I. Mackie, R. Nagarajan
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
: Imperial College Press ;Singapore ;River Edge, NJ :Distributed by World Scientific,
تاریخ نشرو بخش و غیره
, c1995.
مشخصات ظاهری
نام خاص و کميت اثر
ix, 431 p.
ساير جزييات
: ill.
ابعاد
; 23 cm.
يادداشت کلی
متن يادداشت
Language: انگلیسی
متن يادداشت
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994.
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
original title: At head of title: Imperial College, Department of Computing..
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science--Congresses
موضوع مستند نشده
Formal methods (Computer science)--Congresses
رده بندی ديویی
شماره
005
.
1
.
01
نشانه اثر
5113
رده بندی کنگره
شماره رده
QA75
.
5
نشانه اثر
.
T525
1995
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Hankin, Chris
مستند نام اشخاص تاييد نشده
Mackie, I
مستند نام اشخاص تاييد نشده
Nagarajan, R
مستند نام اشخاص تاييد نشده
Imperial College Department of Computing Workshop on Theory and Formal Method، 1994
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Imperial College of Science, Technology and Medicine
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
