пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Java and the Java Virtual Machine
Springer
method
java
exp
instruction
opdt
posn
lab
meth
bytecode
stm
statement
stack
static
opd
jvm
execution
function
reference
exception
dynamic
compilation
restbodyn
pcσ
methods
current
initialized
jvme
abstract
regt
defined
restbody
compiler
satisfied
assignment
endα
statements
javae
subroutine
context
initialization
invariant
assume
loader
exc
values
functions
norm
false
induction
verifier
Рік:
2001
Мова:
english
Файл:
PDF, 2.31 MB
Ваші теги:
0
/
0
english, 2001
2
Java and the Java Virtual Machine Definition, Verification, Validation; Robert Stark, Joachim Schmid, Egon Borger
Springer
method
java
exp
instruction
opdt
posn
lab
meth
bytecode
stm
statement
stack
static
opd
jvm
execution
function
reference
exception
dynamic
compilation
restbodyn
pcσ
methods
current
initialized
jvme
abstract
regt
defined
restbody
compiler
satisfied
assignment
endα
statements
javae
subroutine
context
initialization
invariant
assume
loader
exc
values
functions
norm
false
induction
verifier
Рік:
2001
Мова:
english
Файл:
PDF, 1.77 MB
Ваші теги:
0
/
0
english, 2001
3
Java and the Java Virtual Machine
Springer
method
java
exp
instruction
opdt
posn
lab
meth
bytecode
stm
statement
stack
static
opd
jvm
execution
function
reference
exception
dynamic
compilation
restbodyn
pcσ
methods
current
initialized
jvme
abstract
regt
defined
restbody
compiler
satisfied
assignment
endα
statements
javae
subroutine
context
initialization
invariant
assume
loader
exc
values
functions
norm
false
induction
verifier
Мова:
english
Файл:
PDF, 2.45 MB
Ваші теги:
0
/
0
english
4
Java and the Java Virtual Machine: Definition, Verification, Validation
Springer
Robert F. Stärk
,
Joachim Schmid
,
Egon Börger
method
java
exp
instruction
opdt
posn
lab
meth
bytecode
stm
statement
stack
static
opd
jvm
execution
function
reference
exception
dynamic
compilation
restbodyn
pcσ
methods
current
initialized
jvme
abstract
regt
defined
restbody
compiler
satisfied
assignment
endα
statements
javae
subroutine
context
initialization
invariant
assume
loader
exc
values
functions
norm
false
induction
verifier
Рік:
2001
Мова:
english
Файл:
PDF, 2.38 MB
Ваші теги:
0
/
0
english, 2001
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×