عنوان
پدید آورنده
موضوع
رده
QA76.7 .A65 2011
QA76
.
7
.
A65
2011
کتابخانه
محل استقرار
شابک
شابک
3642253180
شابک
9783642253188
شابک اشتباه
9783642253171
شماره کتابشناسی ملی
شماره
b434337
عنوان و نام پديدآور
عنوان اصلي
Programming languages and systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings /
نام نخستين پديدآور
Hongseok Yang (edition)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 383 pages)
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7078
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783642253171
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programming languages (Electronic computers), Congresses
موضوع مستند نشده
Software engineering, Congresses
رده بندی ديویی
شماره
005
.
13
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
7
نشانه اثر
.
A65
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Yang, Hongseok
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
APLAS (Symposium)(9th :2011 :, Kʻen-ting, Taiwan)
مبدا اصلی
تاريخ عمليات
20170726082129.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
