Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
27.8% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Формальные методы спецификации программ
Замулин А.В.
данных
типа
спецификации
boolean
множество
false
функции
succ
append
сигнатуры
seqofnat
алгебры
терм
спецификация
типов
операции
термов
zero
операций
определение
перехода
спецификаций
функций
термы
is_empty
алгебра
основы
сигнатура
алгебре
системы
данной
программы
evala
forall
функция
состояния
спецификацию
spec
множества
имен
называется
состояние
терма
аксиом
элемент
интерпретация
function
качестве
соответственно
сигнатур
Language:
russian
File:
DOC, 446 KB
Your tags:
0
/
0
russian
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×