مرور بر اساس تاریخ انتشار Butler, Michael. ;
نمایش نتایج 1 تا 1 از 1
| تصویر | تاریخ انتشار | عنوان | پدیدآورنده |
|---|---|---|---|
 | 2018 | Abstract State Machines, Alloy, B, TLA, VDM, and Z | Butler, Michael. ;; Raschke, Alexander. ;; Hoang, Thai Son. ;; Reichl, Klaus. ; |