Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
23.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Springer-Verlag Berlin Heidelberg
Markus Müller-Olm (auth.)
theorem
variables
expr
commands
oreg
instr
functions
assume
ldt
suppose
refinement
lemma
correctness
predicate
galois
transputer
valuation
instruction
choice
eflg
wsp
assign
function
initial
programs
operators
assert
behavior
hst
abstraction
defined
adrx
asg
theorems
predicates
assignment
addition
operations
abstract
dictionary
command
compiler
proceedings
valfct
semantic
tpl
calculation
implementation
implies
wptr
Рік:
1997
Мова:
english
Файл:
DJVU, 1.74 MB
Ваші теги:
0
/
0
english, 1997
2
Trade the Moves!
Downs
macd
entry
stocks
trend
consolidation
period
average
chart
divergence
saucer
trigger
establish
moves
nasdaq
scale
trading
candidates
hedge
longs
market
price
scan
shorts
trades
bullish
indicator
january
metastock
mix
omnitrader
resistance
systems
adrx
amcc
bbby
brokerage
cdwc
charts
eighths
entries
explorer
feature
foliofn.com
formed
idti
itself
klac
objective
portfolio
range
Файл:
PDF, 738 KB
Ваші теги:
0
/
0
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×