Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 09:34, 17 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Guarded Command Language (Новая страница: «{{Английская Википедия/Панель перехода}} The '''Guarded Command Language''' ('''GCL''') is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472.<ref name="EWD472">{{cite web | last=Dijkstra | first=Edsger W | authorlink=E. W. Dijkstra | url=http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF | title=EWD472: Guarded commands, non-determinacy and formal. derivation of pro...»)