مرور بر اساس تاریخ انتشار Peter Csaba Ölveczky
نمایش نتایج 1 تا 1 از 1
| تصویر | تاریخ انتشار | عنوان | پدیدآورنده |
|---|---|---|---|
 | 2017 | Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude | Peter Csaba Ölveczky |