عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I58 2012eb
QA76
.
9
.
F67
I58
2012eb
کتابخانه
محل استقرار
شابک
شابک
3642307299 (electronic bk.)
شابک
9783642307294 (electronic bk.)
شابک اشتباه
3642307280
شابک اشتباه
9783642307287
شماره کتابشناسی ملی
شماره
b434636
عنوان و نام پديدآور
عنوان اصلي
Integrated formal methods
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
نام نخستين پديدآور
John Derrick ... [et al.] (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2012
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 360 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7321
شاپا ي ISSN فروست
1611-3349 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Integrated formal methods.
شماره استاندارد بين المللي کتاب و موسيقي
9783642307423
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
IFM 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
Software engineering, Congresses
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
شماره رده
QA76
.
9
.
F67
نشانه اثر
I58
2012eb
نشانه اثر
I58
2012eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Derrick, John,1963-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Integrated Formal Methods(9th :2012 :, Pisa, Italy)
مبدا اصلی
تاريخ عمليات
20130102095452.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
