عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 I593 2003
QA76
.
76
.
D47
I593
2003
کتابخانه
محل استقرار
شابک
شابک
3540408282 (alk. paper)
شماره کتابشناسی ملی
شماره
b513018
عنوان و نام پديدآور
عنوان اصلي
FME 2003 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : [proceedings] /
نام نخستين پديدآور
Keijiro Araki, Stefania Gnesi, Dino Mandrioli
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer-Verlag,
تاریخ نشرو بخش و غیره
2003
تاریخ پیش بینی شده انتشار
تاريخ
0308
مشخصات ظاهری
نام خاص و کميت اثر
942 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science ;
شاپا ي ISSN فروست
2805
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Development, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
System design-- Mathematics, Congresses
رده بندی ديویی
شماره
005
.
1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
76
.
D47
نشانه اثر
I593
2003
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Araki, Keijirō,1954-
مستند نام اشخاص تاييد نشده
Gnesi, Stefania,1954-
مستند نام اشخاص تاييد نشده
Mandrioli, Dino
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Symposium of Formal Methods Europe(12th :2003 :, Pisa, Italy)
مبدا اصلی
تاريخ عمليات
20030929115012.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
