Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
21.8% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Springer International Publishing
Bor-Yuh Evan Chang
abstract
analysis
programs
ℓ
input
algorithm
function
variables
verification
interpretation
𝓢
linear
trace
acm
first
ϕ
jsk
abstraction
springer
approach
doi.org
static
values
lncs
defined
dependency
consider
predicates
context
programming
invariant
functions
execution
invariants
polyhedra
checking
𝜋0
sect
constraint
testing
cousot
indexed
inclusion
cases
symbolic
𝜋1
constraints
sorcar
proceedings
theorem
Рік:
2019
Мова:
english
Файл:
PDF, 19.69 MB
Ваші теги:
0
/
0
english, 2019
2
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Springer
Ezio Bartocci (editor)
,
Yliès Falcone (editor)
,
Martin Leucker (editor)
𝜌
𝜋
verification
runtime
ℓ
𝓢
safety
𝕍
analysis
𝑖
trace
monitor
monitoring
doi.org
interval
systems
jsk
liveness
springer
specification
𝑥
formal
automata
approach
dynamic
lncs
havelund
checking
𝑛
abstract
events
procedural
programming
traces
automaton
confidence
𝜋𝑖
attributes
context
event
execution
input
specification
tessla
memory
tools
assumptions
spa
output
temporal
Рік:
2021
Мова:
english
Файл:
PDF, 14.97 MB
Ваші теги:
0
/
4.5
english, 2021
3
Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Springer International Publishing
Robert Mark Hierons
,
Mohamed Mosbah
abstract
systems
ϕ
doi.org
function
automata
checking
springer
𝜌
lncs
transition
trace
values
first
deterministic
φ1
𝜚
sgp
transitions
analysis
equations
defined
heidelberg
timed
consider
sect
theorem
definition
nodes
variables
models
global
cases
input
processes
algorithm
approach
verification
inr
iff
verification
functions
protocol
different
weight
initial
finite
define
ℓ
network
Рік:
2019
Мова:
english
Файл:
PDF, 12.74 MB
Ваші теги:
0
/
0
english, 2019
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×