• 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
    • हिंदी
    • Հայերէն
    • Українська
Aurreratua
  • Элементы анализа программ. Час...
  • Erreferentzia bihurtu
  • SMS
  • Bidali
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNoteWeb
    • Nora EndNote
  • Permanent link
Элементы анализа программ. Частичные функции на множестве состояний

Элементы анализа программ. Частичные функции на множестве состояний

Xehetasun bibliografikoak
Egile nagusia: Абрамов С. А. Сергей Александрович
Hizkuntza:errusiera
Argitaratua: Москва, Наука, 1986
Saila:Библиотечка программиста
Gaiak:
Численный анализ
программы
предикаты
преобразования
метод Хоора
импликация
функционалы
погрешности
анализ
Formatua: Liburua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281038
  • Aleari buruzko argibideak
  • Deskribapena
  • Antzeko izenburuak
  • MARC erregistroa

Antzeko izenburuak

  • Numerical Methods for Scientists and Engineers
    nork: Hamming R. W.
    Argitaratua: (New York, Dover Publications, 2013)
  • Прикладные методы и программирование в численном анализе сборник трудов Научно-исследовательского вычислительного центра Московского университета
    Argitaratua: (Москва, Изд-во МГУ, 1985)
  • Численный анализ: методы, алгоритмы, программы сборник статей
    Argitaratua: (Москва, Изд-во МГУ, 1988)
  • Численный анализ пер. с англ.
    nork: Милн В. Э.
    Argitaratua: (Москва, Изд-во иностранной литературы, 1951)
  • Численные методы обработки информации при исследовании динамических систем
    nork: Илюхин А. Г.
    Argitaratua: (Киев, Наукова думка, 1971)