شابک
شابک
9783642118111
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-4747
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Abstract state machines, alloy, B and Z
نام عام مواد
[Book]
ساير اطلاعات عنواني
:second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
نام نخستين پديدآور
/ Marc Frappier ... [et al.] (eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2010.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 416 p, ill.
فروست
عنوان فروست
(Lecture notes in computer science,0302-9743
عنوان فروست
(LNCS sublibrary
ساير اطلاعات عنواني
: SL 1 - Theoretical computer science and general issues.)
مشخصه جلد
; 5977.)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
فروست (داده ارتباطی)
عنوان
Lecture notes in computer science
عنوان
LNCS sublibrary.SL 1,Theoretical computer science and general issues
شماره جلد
5977
عنوانهای گونه گون دیگر
عنوان گونه گون
ABZ 2010
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Machine theory, Congresses
موضوع مستند نشده
B method (Computer science), Congresses
موضوع مستند نشده
Z (Computer program language), Congresses
موضوع مستند نشده
Machine learning, Congresses
رده بندی کنگره
شماره رده
QA267
نشانه اثر
.
A29
2010
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Frappier, Marc,1965-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
ABZ 2010(2010 :Orford, Quaebec)
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
