عنوان
پدید آورنده
موضوع
رده
QA76.758 .I58 2011
QA76
.
758
.
I58
2011
کتابخانه
محل استقرار
شابک
شابک
3642177956
شابک
3642177964
شابک
9783642177958
شابک
9783642177965
شماره کتابشناسی ملی
شماره
b434043
عنوان و نام پديدآور
عنوان اصلي
Algebraic methodology and software technology :
نام عام مواد
[Book]
ساير اطلاعات عنواني
13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
نام نخستين پديدآور
Michael Johnson, Dusko Pavlovic (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 235 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
6486
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-17795-8
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Algebraic methodology and software technology.
شماره استاندارد بين المللي کتاب و موسيقي
9783642177958
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
AMAST 2010
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Abstract data types (Computer science), Congresses
موضوع مستند نشده
Software engineering, Congresses
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
005
.
1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
758
نشانه اثر
.
I58
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Johnson, Michael,1959-
مستند نام اشخاص تاييد نشده
Pavlović, Dusko
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Algebraic Methodology and Software Technology(13th :2010 :, Beauport, Québec)
مبدا اصلی
تاريخ عمليات
20170726082112.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
