عنوان
پدید آورنده
موضوع
رده
QA76.6 .M6926 2012eb
QA76
.
6
.
M6926
2012eb
کتابخانه
محل استقرار
شابک
شابک
364231113X (electronic bk.)
شابک
9783642311130 (electronic bk.)
شابک اشتباه
3642311121
شابک اشتباه
9783642311123
شماره کتابشناسی ملی
شماره
b434667
عنوان و نام پديدآور
عنوان اصلي
Mathematics of program construction
نام عام مواد
[Book]
ساير اطلاعات عنواني
11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
نام نخستين پديدآور
Jeremy Gibbons, Pablo Nogueira (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2012
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 362 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
7342
شاپا ي ISSN فروست
1611-3349 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Mathematics of Program Construction.
شماره استاندارد بين المللي کتاب و موسيقي
9783642311123
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
MPC 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming-- Mathematics, Congresses
موضوع مستند نشده
Computer programs-- Mathematics, Congresses
رده بندی ديویی
شماره
005
.
101/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
6
شماره رده
QA76
.
6
نشانه اثر
.
M6926
2012eb
نشانه اثر
.
M6926
2012eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Gibbons, Jeremy,1966-
مستند نام اشخاص تاييد نشده
Nogueira, Pablo
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
MPC 2012(2012 :, Madrid, Spain)
مبدا اصلی
تاريخ عمليات
20130201101953.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
