تکنیک های رسمی برای اشیاء، اجزا و سیستم های توزیع شده (برنامه نویسی و مهندسی نرم افزار)
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
نویسنده: Kirstin Peters (editor), Tim A. C. Willemse (editor)
ناشر: Springer
سال انتشار: 2021
تعداد صفحات: 253
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت