Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
20.2% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Temporal Logic of Programs
Springer
Fred Kröger
atnext
temporal
formulas
formula
programs
induction
theorem
variables
assertion
execution
axioms
propositional
valid
assumption
operators
statement
await
formal
al9
classical
logical
parallel
invariant
starts
method
olx
statements
false
initial
pnueli
prove
derived
examples
invof
axiom
consider
principle
precedence
entry
expressed
inv
labels
component
error
finite
kroger
taut
trivial
assume
atomic
Рік:
1987
Мова:
english
Файл:
DJVU, 1.11 MB
Ваші теги:
0
/
0
english, 1987
2
Temporal Logic of Programs
Springer
Fred Kröger
atnext
temporal
formulas
formula
programs
induction
theorem
variables
assertion
execution
axioms
propositional
valid
assumption
operators
statement
formal
logical
ooa
await
classical
invariant
parallel
method
statements
niln
false
prove
derived
entry
initial
pnueli
examples
axiom
consider
invof
principle
precedence
expressed
tnext
error
component
inv
taut
trivial
assume
atomic
correctness
finite
kroger
Рік:
1987
Мова:
english
Файл:
PDF, 4.11 MB
Ваші теги:
0
/
0
english, 1987
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×