বই অনুসন্ধান
বইগুলো
দান করুন
সাইন ইন করুন
সাইন ইন করুন
অনুমোদিত ব্যবহারকারীদের অ্যাক্সেস আছে:
ব্যক্তিগত সুপারিশ
Telegram বট
ডাউনলোড ইতিহাস
Email বা Kindle পাঠানো
বইয়ের তালিকা নিয়ন্ত্রণ
ফেভারিটে সংরক্ষণ করা
ব্যক্তিগত
বইয়ের অনুরোধ
এক্সপ্লোর
Z-Recommend
বইয়ের তালিকা
সবচেয়ে জনপ্রিয়
ক্যাটাগোরিগুলো
অংশগ্রহণ
দান করুন
আপলোডগুলি
Litera Library
কাগজের বই দান
কাগজের বই যোগ করুন
Search paper books
আমার LITERA Point
কীওয়ার্ড অনুসন্ধান
Main
কীওয়ার্ড অনুসন্ধান
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
সাল:
2023
ভাষা:
english
ফাইল:
PDF, 4.14 MB
আপনার ট্যাগগুলি:
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
সাল:
2005
ভাষা:
english
ফাইল:
PDF, 2.10 MB
আপনার ট্যাগগুলি:
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
সাল:
2005
ভাষা:
english
ফাইল:
PDF, 2.35 MB
আপনার ট্যাগগুলি:
0
/
0
english, 2005
1
এই লিঙ্ক
অনুসরণ করুন অথবা Telegram-এ "@BotFather" বট অনুসন্ধান করুন
2
কমান্ড পাঠান / newbot
3
আপনার বটের জন্য একটি নাম উল্লেখ করুন
4
বটের জন্য একটি ব্যবহারকারীর নাম উল্লেখ করুন
5
BotFather থেকে লেটেস্ট মেসেজ কপি করে এখানে পেস্ট করুন
×
×