Lectures on Runtime Verification: Introductory and Advanced Topics

4.7

بر اساس نظر کاربران

شما میتونید سوالاتتون در باره کتاب رو از هوش مصنوعیش بعد از ورود بپرسید
Each download or book AI question costs 2 points. Purchase more points


The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

Book download

شما میتونید سوالاتتون در باره کتاب رو از هوش مصنوعیش بعد از ورود بپرسید

دسترسی به کتاب‌ها از طریق پلتفرم‌های قانونی و کتابخانه‌های عمومی نه تنها از حقوق نویسندگان و ناشران حمایت می‌کند، بلکه به پایداری فرهنگ کتابخوانی نیز کمک می‌رساند. پیش از دانلود، لحظه‌ای به بررسی این گزینه‌ها فکر کنید.

این کتاب رو در پلتفرم های دیگه ببینید

WorldCat به شما کمک میکنه تا کتاب ها رو در کتابخانه های سراسر دنیا پیدا کنید
امتیازها، نظرات تخصصی و صحبت ها درباره کتاب را در Goodreads ببینید
کتاب‌های کمیاب یا دست دوم را در AbeBooks پیدا کنید و بخرید

نویسندگان:


1641

بازدید

4.7

امتیاز

0

نظر

98%

رضایت

نظرات:


4.7

بر اساس 0 نظر کاربران

Questions & Answers

Ask questions about this book or help others by answering


Please وارد شوید to ask a question

No questions yet. Be the first to ask!

قیمت نهایی
295,000 تومان
خرید موقتاً غیرفعال است
0

تماس با پشتیبان