Сторінки, що посилаються на «Формальна специфікація»

Такі сторінки посилаються на Формальна специфікація

Показано 17 елементів.

• Алгоритм (← посилання | редагувати)
• Специфікація (← посилання | редагувати)
• Мова програмування (← посилання | редагувати)
• Формальні методи (← посилання | редагувати)
• Z-нотація (← посилання | редагувати)
• Формальна верифікація (← посилання | редагувати)
• Передумова (формальні методи) (← посилання | редагувати)
• Післяумова (формальні методи) (← посилання | редагувати)
• Standard ML (← посилання | редагувати)
• Специфікація формальна (сторінка-перенаправлення) (← посилання | редагувати)
  • Обговорення користувача:NickK/Архів/грудень 2010 (← посилання | редагувати)
• Комунікуючі послідовні процеси (← посилання | редагувати)
• Проєктування за контрактом (← посилання | редагувати)
• Диз'юнкт Горна (← посилання | редагувати)
• Бертран Меєр (← посилання | редагувати)
• Тришляхове порівняння (← посилання | редагувати)
• Обговорення:Формальна специфікація (← посилання | редагувати)
• Обговорення користувача:NickK/Архів/грудень 2010 (← посилання | редагувати)