دانلود کتاب Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Name: Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Availability: InStock
Author: Gilles Barthe (auth.)
ISBN: 9783642401954,9783642401961

by Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)

عنوان فارسی: ارزیابی کمی سیستم ها: دهمین کنفرانس بین المللی، QEST 2013، بوئنوس آیرس، آرژانتین، 27-30 اوت 2013. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2013
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 406-418
شابک: 9783642401954,9783642401961
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 10.68 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.

گزارش اشکال ⚠

درباره نویسنده

بتی جین جنینگز بارتیک (انگلیسی: Betty Jean Jennings Bartik؛ ۲۷ دسامبر ۱۹۲۴(1924-12-27) – ۲۳ مارس ۲۰۱۱(2011-03-23)) یک برنامه‌نویس، ریاضی‌دان، و مهندس رایانه اهل ایالات متحده آمریکا و یکی از شش برنامه‌نویس اصلی انیاک بود.