Tools and algorithms for the construction and analysis of systems : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

TACAS 2015

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2015

نویسنده

Christel Baier; C Tinelli

ناشر

Heidelberg : Springer, 2015.

شابک

978-3-662-46680-3

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Tools and algorithms for the construction and analysis of systems : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and algorithms for the construction and analysis of systems : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2015

نویسنده

ناشر

شابک

کتاب های مرتبط

Verification and Validation of Rule-Based Expert Systems

Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers

Co-verification of hardware and software for ARM SoC design

Specification and Verification of Multi-Agent Systems

Leveraging applications of formal methods, verification and validation : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings

Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part I

Tools and algorithms for the construction and analysis of systems : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings

Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings

Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings

Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings

Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings

Formal System Verification

Trustworthy Global Computing

Theory and Applications of Satisfiability Testing - SAT 2014

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Verification, Model Checking, and Abstract Interpretation

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Trust and trustworthy computing : third international conference on trust and trustworthy computing, TRUST 2010, Berlin, Germany, June 21-23, 2010 : proceedings

دیدگاه کاربران