آموزش و پرورش

تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: ششمین سمپوزیوم بین‌المللی، FTRTFT 2000 پونا، هند، 20 تا 22 سپتامبر، 2000 مجموعه مقالات

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings

دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings (به فارسی: تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: ششمین سمپوزیوم بین‌المللی، FTRTFT 2000 پونا، هند، 20 تا 22 سپتامبر، 2000 مجموعه مقالات) نوشته شده توسط «N. Halbwachs – J. -F. Héry – J. -C. Laleuf – X. Nicollin (auth.) – Mathai Joseph (eds.)»

اطلاعات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: ششمین سمپوزیوم بین‌المللی، FTRTFT 2000 پونا، هند، 20 تا 22 سپتامبر، 2000 مجموعه مقالات

موضوع اصلی: مطالعات و آموزش آموزش و پرورش – کنفرانس ها و سمپوزیوم های بین المللی

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: N. Halbwachs – J. -F. Héry – J. -C. Laleuf – X. Nicollin (auth.) – Mathai Joseph (eds.)

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2000

تعداد صفحه: 314

حجم فایل: 2.81 مگابایت

کد کتاب: 3540410554 , 9783540410553

نوبت چاپ: 1

توضیحات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: ششمین سمپوزیوم بین‌المللی، FTRTFT 2000 پونا، هند، 20 تا 22 سپتامبر، 2000 مجموعه مقالات

این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی تکنیک‌های رسمی در سیستم‌های بی‌درنگ و تحمل‌کننده خطا، FTRTFT 2000، برگزار شده در پونا، هند در سپتامبر 2000 است. و از بین ارسال های متعدد انتخاب شده است. مقالات در بخش‌های موضوعی در بررسی مدل، تحمل خطا، زمان‌بندی، اعتبارسنجی، تأیید، منطق و خودکار سازماندهی شده‌اند.

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

دانلود کتاب «تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: ششمین سمپوزیوم بین‌المللی، FTRTFT 2000 پونا، هند، 20 تا 22 سپتامبر، 2000 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

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

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان