Английская Википедия:Invariant-based programming: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

26 марта 2024

  • текущ.пред. 17:2717:27, 26 марта 2024‎ EducationBot обсуждение вклад‎ 2677 байт +2677‎ Новая страница: «{{Английская Википедия/Панель перехода}} '''Invariant-based programming'''<ref>Back, Ralph-Johan: [https://hal.archives-ouvertes.fr/hal-00477903/document Invariant Based Programming: Basic approach and Teaching Experience], Formal Aspects of Computing, 14 February 2008, ISSN 0934-5043 (Print) 1433-299X (Online)</ref> is a programming methodology where specifications and Invariant (computer science)|...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Invariant-based_programming