عنوان
پدید آورنده
موضوع
رده
QA 76 .L6 2015 E-Book ,
QA
76
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319231648
شماره کتابشناسی ملی
شماره
13626
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Logic, Rewriting, and Concurrency
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
نام نخستين پديدآور
\ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
فروست
عنوان فروست
Lecture Notes in Computer Science
مشخصه جلد
; 9200
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science
عنصر شناسه ای
Computer logic
عنصر شناسه ای
کامپیوتر
عنصر شناسه ای
منطق کامپیوتری
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a05
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a05
موضوع مستند نشده
Computer software -- Development.
موضوع مستند نشده
نرم‌افزار -- تولید
رده بندی کنگره
شماره رده
QA
76
نشانه اثر
.
L6
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Martí-Oliet, Narciso
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170129
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319231648.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
