Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
21.0% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
FORMAL ASPECTS OF MOBILE CODE SECURITY
Addison-Wesley Professional
Richard Drews Dean
java
classloader
dynamic
security
proj
cldr
env
linking
applet
loader
error
function
classtable
runtime
implementation
netscape
environments
variables
method
methods
formal
hash
loadclass
pvs
bytecode
classid
linkclass
references
applets
lemma
findclassidswcl
pcfτ
safety
η.ρ
navigator
define
x:τ
figure
loaded
fixed
binding
jdk
ct0
induction
systems
theorem
classloaders
functions
memory
consistent
Рік:
1994
Мова:
english
Файл:
PDF, 468 KB
Ваші теги:
0
/
0
english, 1994
2
Lecture Notes on Denotational Semantics
University of Cambridge
Andrew M. Pitts
slide
pcf
function
fix
bool
denotational
continuous
functions
partial
defined
false
definition
fixed
domains
induction
proposition
element
ctx
denotation
prove
cpo
programming
succ
subset
variables
cpo’s
figure
abstraction
contextual
operational
exercises
poset
zero
fixed
monotone
argument
pcfτ
suppose
consider
lubs
subsets
typing
λs
denotations
define
product
satisfies
undefined
axioms
composition
Рік:
2012
Мова:
english
Файл:
PDF, 660 KB
Ваші теги:
0
/
0
english, 2012
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×