• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Avançada
  • Доказательство правильности пр...
  • Citar
  • Enviar aquest missatge de text
  • Enviar per correu electrònic aquest
  • Imprimir
  • Exportar registre
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enllaç permanent
Доказательство правильности программ: пер. с англ.

Доказательство правильности программ: пер. с англ.

Dades bibliogràfiques
Autor principal: Андерсон Р. Роберт
Idioma:rus
Publicat: Москва, Мир, 1982
Matèries:
Вычислительные машины электронные > Математическое обеспечение
математическое обеспечение
надежность
математическая индукция
блок-схемы
языки программирования
Format: Llibre
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=74099
  • Fons
  • Descripció
  • Ítems similars
  • Visualització del personal
Descripció
Descripció física:163 с. ил.

Ítems similars

  • Функциональное программирование. Применение и реализация: пер. с англ.
    per: Хендерсон П.
    Publicat: (Москва, Мир, 1983)
  • Трехмерное подмножество языка ГИМАП: материалы по математическому обеспечению ЭВМ
    Publicat: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987)
  • Общесистемное математическое обеспечение ЭВМ третьего поколения для обработки данных
    per: Зайцев Н. Г. Николай Георгиевич
    Publicat: (Москва, Статистика, 1980)
  • Математическое обеспечение ЭВМ, комплексов и сетей: сборник научных трудов
    Publicat: (Москва, Изд-во МЭИ, 1986)
  • Вып. 93: Системное и теоретическое программирование; Математические исследования
    Publicat: (1987)