عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540884785
شابک
9783540884781
شماره کتابشناسی ملی
شماره
b406871
عنوان و نام پديدآور
عنوان اصلي
Leveraging applications of formal methods, verification and validation
نام عام مواد
[Book]
ساير اطلاعات عنواني
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
نام نخستين پديدآور
Tiziana Margaria, Bernhard Steffen (Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2008.
فروست
عنوان فروست
Communications in computer and information science,
مشخصه جلد
no. 17
شاپا ي ISSN فروست
1865-0929 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ISoLA 2008
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Margaria, Tiziana.
مستند نام اشخاص تاييد نشده
Steffen, Bernhard.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Symposium on Leveraging Applications of Formal Methods(3rd :2008 :, Porto Sano, Greece)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20190301084500.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
