търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Теоретическая информатика. Доказательство правильности. Учебное пособие
Веретельникова Е.Л.
touky
4to
yto
xlgst
toukh
nporpamma
bcex
cdr
takum
jia
nporpammbl
uto
xsmlst
4yto
mouxu
mph
touke
iph
kpome
9to
append
cxem
mporpammbl
nporpamm
4ro
false
tipumep
nph
otherwise
cxeme
hmeem
moaho
moxho
moxkho
mpa
o6pa30m
takhm
3ha
3ha4ehhe
cxembi
ecm
ecu
gonee
hhaykuhh
hyaho
juia
mbt
mporpamm
mporpamma
nporpammy
Година:
2016
Език:
russian
Файл:
PDF, 1.67 MB
Вашите тагове:
0
/
0
russian, 2016
2
Доказательство правильности программ
Мир
Андерсон Р.
точку
правильности
доказательства
справедливо
программы
утверждение
точки
блок
программ
индукции
доказать
программа
доказательство
чисел
gcd
cdr
следовательно
рис
утверждения
целых
точке
цикла
элементов
докажите
утверждений
значения
предположим
правильность
программирования
индуктивных
попадании
проверка
список
верификации
число
otherwise
имеем
схем
числа
программу
концов
помощью
значений
метод
показать
попадем
списка
xlgst
индукция
каждом
Година:
1982
Език:
russian
Файл:
DJVU, 3.44 MB
Вашите тагове:
0
/
0
russian, 1982
3
Теоретическая информатика. Доказательство правильности: учеб. пособие
ЭБС Лань
Веретельникова Е.Л.
точку
справедливо
утверждение
правильности
программы
доказать
точки
индукции
доказательства
блок
программа
доказательство
программ
следовательно
цикла
xlgst
утверждений
утверждения
irn
чисел
элементов
индуктивных
проверка
мемвеr
точке
числа
индукция
предположим
рис
целых
значения
попадании
cdr
функции
любого
метод
правильность
список
данных
значений
имеем
число
вычислений
показать
дает
докажем
первых
программе
точкой
iqn
Година:
2016
Език:
russian
Файл:
PDF, 1.65 MB
Вашите тагове:
0
/
0
russian, 2016
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×