Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
68.6% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
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
Рік:
2012
Мова:
english
Файл:
PDF, 3.43 MB
Ваші теги:
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
Рік:
2012
Мова:
english
Файл:
PDF, 1.69 MB
Ваші теги:
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
Рік:
2012
Мова:
english
Файл:
PDF, 2.05 MB
Ваші теги:
0
/
0
english, 2012
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×