عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9783540884781
شابک
9783540884798
شماره کتابشناسی ملی
شماره
b406870
عنوان و نام پديدآور
عنوان اصلي
Leveraging Applications of Formal Methods, Verification and Validation
نام عام مواد
[Book]
ساير اطلاعات عنواني
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
نام نخستين پديدآور
edited by Tiziana Margaria, Bernhard Steffen.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg :
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg,
تاریخ نشرو بخش و غیره
c2008.
فروست
عنوان فروست
Communications in Computer and Information Science,
مشخصه جلد
17
شاپا ي ISSN فروست
1865-0929 ;
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer simulation.
موضوع مستند نشده
Computer system performance.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Margaria-Steffen, Tiziana,1964-
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Steffen, Bernhard.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20140312160650.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
