Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Верификация программ. Ч.1 Нерекурсивные программы.

File hashes

MD5
4f0cbe2c3602ae2400cf356e0aa76176
SHA1
ff32fd9f0c7c1d9efcf1a259d4edb1613073f4fd
SHA256
5d77a5637376848926b3c162543eb003 1d1459a129ce9fb738a73421662f57d9
AICH
XMFTESC5CHIAIN3F3DKIDZAC6TZY7AI4
CRC32
31064a9d
eDonkey
1cc5a22b201c65b822482e60876945af
TTH
25FELR65HYJHWD5LROIKCSJSDKCQGUO7VEVNA5Y

Available files

  • PDF

Download Link

Direct link IPFS Cloudflare Pinata
RUSSIAN

Верификация программ. Ч.1 Нерекурсивные программы.

By Миронов А.М.

Book information

Publisher
МГУ
Year
2020
Language
russian
Format
PDF
Filesize
527 kB (539772 bytes)
Pages
\77
Time added
2023-09-11 13:39:07

Similar books

Теория вероятностных автоматов. Ч.1

Теория вероятностных автоматов. Ч.1

2015 · PDF

Метод редукции вероятностных систем переходов.

Метод редукции вероятностных систем переходов.

2013 · PDF

Машинное обучение. Ч.1

Машинное обучение. Ч.1

2019 · PDF

Теория функциональных программ. Ч.1

Теория функциональных программ. Ч.1

2013 · PDF

Теория процессов.

Теория процессов.

2013 · PDF

Математическая логика.

Математическая логика.

2005 · PDF

Криптографические протоколы. Ч.1

Криптографические протоколы. Ч.1

2016 · PDF

Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.

Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.

2015 · PDF

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme