kitab axtarışı
kitablar
Dəstək ol
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Springer-Verlag Berlin Heidelberg
Jean Goubault-Larrecq
,
Julien Olivain (auth.)
,
Martin Leucker (eds.)
lock
ϕ
runtime
deadlock
trace
operators
monitoring
algorithm
ptrace
event
first
deadlocks
permissions
monitor
formula
pid
systems
threads
orchids
tgt
verification
events
safety
runs
temporal
execution
security
analysis
checking
false
eagle
java
corresponding
implementation
detection
approach
abstract
consider
methods
traces
specification
check
ptcaret
avoidance
composition
locks
method
noise
eval
concatenation
İl:
2008
Dil:
english
Fayl:
PDF, 2.86 MB
Sizin teqləriniz:
0
/
0
english, 2008
2
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Springer-Verlag Berlin Heidelberg
Jean Goubault-Larrecq
,
Julien Olivain (auth.)
,
Martin Leucker (eds.)
lock
ϕ
runtime
deadlock
trace
operators
monitoring
algorithm
ptrace
event
first
deadlocks
permissions
monitor
formula
pid
systems
threads
orchids
tgt
verification
events
safety
runs
temporal
execution
security
analysis
checking
false
eagle
java
corresponding
implementation
detection
approach
abstract
consider
methods
traces
specification
check
ptcaret
avoidance
composition
locks
method
noise
eval
concatenation
İl:
2008
Dil:
english
Fayl:
PDF, 4.36 MB
Sizin teqləriniz:
0
/
0
english, 2008
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×