Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
19.0% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Programming Languages: Build, Prove, and Compare
Cambridge University Press
Norman Ramsey
function
µscheme
functions
method
module
typed
exp
lambda
define
impcore
variables
values
defined
abstract
ϕ
syntax
programming
env
stack
array
forms
smalltalk
ρi
implementation
syntactic
lists
methods
abstraction
primitive
error
interpreter
definitions
argument
heap
step
τ1
cdr
molecule
implement
judgment
constructor
µsmalltalk
evaluated
algebraic
key
receiver
figure
bool
integer
forall
Рік:
2022
Мова:
english
Файл:
PDF, 10.14 MB
Ваші теги:
0
/
4.5
english, 2022
2
Programming Languages: Build, Prove, and Compare
Cambridge University Press
Norman Ramsey
function
µscheme
functions
method
module
typed
exp
lambda
define
impcore
variables
values
defined
abstract
ϕ
syntax
programming
env
stack
array
forms
smalltalk
ρi
implementation
syntactic
lists
methods
abstraction
primitive
error
interpreter
definitions
argument
heap
step
τ1
cdr
molecule
implement
judgment
constructor
µsmalltalk
evaluated
algebraic
key
receiver
figure
bool
integer
forall
Рік:
2022
Мова:
english
Файл:
PDF, 10.14 MB
Ваші теги:
0
/
4.0
english, 2022
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×