دانلود کتاب Системы и средства информатики: Специальный выпуск. Формальные методы и модели в композиционных инфраструктурах распределённых информационных систем
|
عنوان فارسی: سیستم های انفورماتیک و تجهیزات: نسخه ویژه. روش های رسمی و مدل های در زیرساخت های کامپوزیت توزیع سیستم های اطلاعاتی |
دانلود کتاب
جزییات کتاب
Для научных работников, преподавателей, инженеров, аспирантов, студентов вузов, интересующихся современным состоянием и перспективами исследований в области формальных методов.