عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642347800
شابک
9783642347801
شماره کتابشناسی ملی
شماره
b407203
عنوان و نام پديدآور
عنوان اصلي
Leveraging applications of formal methods, verification, and validation
نام عام مواد
[Book]
ساير اطلاعات عنواني
International Workshops, SARS 2011 and MLSC 2011 : held under the auspices of ISoLa 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
نام نخستين پديدآور
Reiner Hähnle ... [and 4 others] (Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2012]
فروست
عنوان فروست
Communications in computer and information science,
مشخصه جلد
336
شاپا ي ISSN فروست
1865-0929 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Verification, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Machine learning, Congresses.
موضوع مستند نشده
Robots-- Programming, Congresses.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Hähnle, Reiner.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
ISoLA (Symposium)(2011 :, Vienna, Austria)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service).
مبدا اصلی
تاريخ عمليات
20190307155000.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
