خرید و دانلود نسخه کامل کتاب Compositional Verification of Concurrent and Real-Time Systems

تایید ترکیبی از سیستم های همزمان و زمان واقعی

Compositional Verification of Concurrent and Real-Time Systems

نویسنده: Eric Y. T. Juan, Jeffrey J. P. Tsai (auth.)

ناشر: Springer US

سال انتشار: 2002

تعداد صفحات: 209

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

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