عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 M66 2011
QA76
.
76
.
D47
M66
2011
کتابخانه
محل استقرار
شابک
شابک
3642212921 (electronic bk.)
شابک
9783642212925 (electronic bk.)
شماره کتابشناسی ملی
شماره
b434130
عنوان و نام پديدآور
عنوان اصلي
Foundations of computer software
نام عام مواد
[Book]
ساير اطلاعات عنواني
modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers /
نام نخستين پديدآور
Radu Calinescu, Ethan Jackson (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 238 p.)
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
6662
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Foundations of Computer Software.
شماره استاندارد بين المللي کتاب و موسيقي
9783642212918
قطعه
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Monterey Workshop 2010
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Development, Congresses
موضوع مستند نشده
Computer software-- Verification, Congresses
موضوع مستند نشده
Software engineering, Congresses
رده بندی ديویی
شماره
005
.
1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
76
.
D47
نشانه اثر
M66
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Calinescu, Radu C.,1968-
مستند نام اشخاص تاييد نشده
Jackson, Ethan K., (Ethan Kerry)
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Monterey Workshop(16th :2010 :, Redmond, Wash.)
مبدا اصلی
تاريخ عمليات
20120425035500.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
