عنوان
پدید آورنده
موضوع
رده
QA267.5 .T45,F57 2011
QA267
.
5
.
T45
,
F57
2011
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: سهند
شابک
شابک
9780470027882 (cloth)
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-6076
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
An introduction to practical formal methods using temporal logic
نام عام مواد
[Book]
نام نخستين پديدآور
/ Michael Fisher
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Chichester, West Sussex
نام ناشر، پخش کننده و غيره
: Wiley,
تاریخ نشرو بخش و غیره
, 2011.
مشخصات ظاهری
نام خاص و کميت اثر
vi, 353 p. , ill. , 26 cm.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Temporal automata
موضوع مستند نشده
Logic, Symbolic and mathematical
رده بندی ديویی
شماره
511
.
3
رده بندی کنگره
شماره رده
QA267
.
5
نشانه اثر
.
T45
,
F57
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Fisher, Michael,1962-
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
