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
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Springer
Wolfgang Schreiner
invariant
theorem
algorithm
execution
client
riscal
formula
resource
array
bool
ensures
verification
false
variables
values
decreases
function
output
polynomial
error
invariants
executing
checked
inputs
step
propositional
satisfies
checking
corresponding
a:set
n:num
proc
search
nodes
clause
models
formulas
map
zero
discs
correctness
rnum
m:num
network
node
shared
specification
theorems
computation
clauses
İl:
2023
Dil:
english
Fayl:
PDF, 4.14 MB
Sizin teqləriniz:
0
/
5.0
english, 2023
2
Secure Systems Development with UML
Springer-Verlag Berlin Heidelberg
Jan Jürjens (auth.)
entry
critical
exp
cep
lda
d:data
respi
c:client
r:receiver
s:sender
transmit
card
chkgd
security
respc
server
uml
adversary
fail
issuer
s:server
waitreq
checkreq
cert:exp
clog
customer
device
ilog
llog
r2l
respl
secrecy
smart.card
client
d0a
i:issuer
l:lsam
secure
c:ceps
excgd
finex
fingd
guard
limit
lsam
micgd
micsi
receiving
role_id
sending
İl:
2005
Dil:
english
Fayl:
PDF, 2.10 MB
Sizin teqləriniz:
0
/
0
english, 2005
3
Secure Systems Development with UML
Springer
Jan Jürjens
entry
critical
exp
cep
lda
d:data
respi
c:client
r:receiver
s:sender
transmit
card
chkgd
security
respc
server
uml
adversary
fail
issuer
s:server
waitreq
checkreq
cert:exp
clog
customer
device
ilog
llog
r2l
respl
secrecy
smart.card
client
d0a
i:issuer
l:lsam
secure
c:ceps
excgd
finex
fingd
guard
limit
lsam
micgd
micsi
receiving
role_id
sending
İl:
2005
Dil:
english
Fayl:
PDF, 2.35 MB
Sizin teqləriniz:
0
/
0
english, 2005
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
×
×