도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
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
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×