عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 I593 2002
QA76
.
76
.
D47
I593
2002
کتابخانه
محل استقرار
شابک
شابک
3540439285 (softcover : alk. paper)
شماره کتابشناسی ملی
شماره
b513013
عنوان و نام پديدآور
عنوان اصلي
FME 2002 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002 : proceedings /
نام نخستين پديدآور
Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2002
تاریخ پیش بینی شده انتشار
تاريخ
0208
مشخصات ظاهری
نام خاص و کميت اثر
xi, 624 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science ;
شاپا ي ISSN فروست
2391
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FME 2002
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Development, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
System design-- Mathematics, Congresses
رده بندی ديویی
شماره
005
.
1
ويراست
21
رده بندی کنگره
شماره رده
QA76
.
76
.
D47
نشانه اثر
I593
2002
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Eriksson, L.-H., (Lars-Henrik),1960-
مستند نام اشخاص تاييد نشده
Lindsay, Peter Alexander,1957-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Symposium of Formal Methods Europe(11th :2002 :, Copenhagen, Denmark)
مبدا اصلی
تاريخ عمليات
20020813083412.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
