İanələr 15 sentyabr 2024 – 1 oktyabr 2024
Vəsaitlərin toplanılması haqqında
kitab axtarışı
kitablar
İanələr:
65.6% olunub
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
The correctness-by-construction approach to programming
Springer-Verlag Berlin Heidelberg
Derrick G. Kourie
,
Bruce W. Watson (auth.)
algorithm
refinement
specification
a:len
invariant
predicate
postcondition
precondition
command
assignment
recursive
algorithms
array
element
false
values
variables
examples
sicl
step
notation
select
correctness
inv
graph
formal
fqg
statement
lattice
consider
node
assume
guard
conjunct
adfa
ftrueg
procedures
function
gcl
search
approach
integer
required
nodes
spec.p
cases
refine
inv2
parameters
parameter
İl:
2012
Dil:
english
Fayl:
PDF, 3.43 MB
Sizin teqləriniz:
0
/
0
english, 2012
2
The Correctness-by-Construction Approach to Programming
Springer-Verlag Berlin Heidelberg
Derrick G. Kourie
,
Bruce W. Watson (auth.)
algorithm
refinement
specification
a:len
invariant
predicate
postcondition
precondition
command
assignment
recursive
algorithms
array
element
false
values
variables
examples
sicl
step
notation
select
correctness
inv
graph
formal
fqg
statement
lattice
consider
node
assume
guard
conjunct
adfa
ftrueg
procedures
function
gcl
search
approach
integer
required
nodes
spec.p
cases
refine
inv2
parameters
parameter
İl:
2012
Dil:
english
Fayl:
PDF, 1.69 MB
Sizin teqləriniz:
0
/
0
english, 2012
3
The Correctness-by-Construction Approach to Programming
Springer-Verlag Berlin Heidelberg
Derrick G. Kourie
,
Bruce W. Watson (auth.)
algorithm
refinement
specification
a:len
invariant
predicate
postcondition
precondition
command
assignment
recursive
algorithms
array
element
false
values
variables
examples
sicl
step
notation
select
correctness
inv
graph
formal
fqg
statement
lattice
consider
node
assume
guard
conjunct
adfa
ftrueg
procedures
function
gcl
search
approach
integer
required
nodes
spec.p
cases
refine
inv2
parameters
parameter
İl:
2012
Dil:
english
Fayl:
PDF, 2.05 MB
Sizin teqləriniz:
0
/
0
english, 2012
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
×
×