عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 I593 2012eb
QA76
.
76
.
D47
I593
2012eb
کتابخانه
محل استقرار
شابک
شابک
3642327591 (electronic bk.)
شابک
9783642327599 (electronic bk.)
شابک اشتباه
3642327583
شابک اشتباه
9783642327582
شماره کتابشناسی ملی
شماره
b434782
عنوان و نام پديدآور
عنوان اصلي
FM 2012
نام عام مواد
[Book]
ساير اطلاعات عنواني
formal methods : 18th international symposium, Paris, France, August 27-31, 2012 : proceedings /
نام نخستين پديدآور
Dimitra Giannakopoulou, Dominique Méry (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2012
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 488 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7436
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
FM 2012.
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Development, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
Software engineering, Congresses
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
76
.
D47
شماره رده
QA76
.
76
.
D47
نشانه اثر
I593
2012eb
نشانه اثر
I593
2012eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Giannakopoulou, Dimitra
مستند نام اشخاص تاييد نشده
Méry, Dominique
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Symposium of Formal Methods Europe(18th :2012 :, Paris, France)
مبدا اصلی
تاريخ عمليات
20130304114535.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
