(Видавництво Національного університету “Львівська політехніка”, 2004-02-18) Корпильов, Д. В.; Ткаченко, С. П.; Свірідова, Т. В.; Національний університет “Львівська політехніка”
Проаналізовано актуальну тему синтезу архітектури програмних і апаратних систем, моделювання й верифікацію розроблювальних програмних систем.
