도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Refinement in Z and Object-Z: Foundations and Advanced Applications
Springer-Verlag London
John Derrick
,
Eerke A. Boiten (auth.)
refinement
operation
operations
specification
simulation
concrete
cstate
abstract
astate
aop
schema
aopi
input
output
csp
downward
copi
formal
internal
card
retrieve
inputs
outputs
consider
specifications
springer
simulations
defined
components
refinements
accts
relational
atomic
seq
total
ainit
schemas
initialisation
systems
cinit
clubs
chap
global
active
approach
notation
derrick
methods
partial
predicate
년:
2014
언어:
english
파일:
PDF, 3.26 MB
개인 태그:
0
/
0
english, 2014
2
Refinement. Semantics, Languages and Applications
Springer
John Derrick
,
Eerke Boiten
refinement
simulation
traces
relational
trace
failures
cstate
astate
operations
event
output
blocking
events
simulations
operation
internal
specification
abstract
input
systems
defined
csp
backward
aopi
outputs
embedding
divergence
divergences
freq
chap
concrete
refusals
finalisation
partial
pound
consider
behaviour
copi
transition
infinite
approach
refinement
total
finite
observations
correctness
processes
sets
define
initial
년:
2018
언어:
english
파일:
PDF, 2.41 MB
개인 태그:
0
/
0
english, 2018
3
Refinement: Semantics, Languages and Applications
Springer International Publishing
John Derrick
,
Eerke Boiten
refinement
simulation
traces
relational
trace
failures
event
cstate
astate
operations
blocking
output
simulations
events
internal
specification
operation
abstract
input
systems
defined
backward
csp
outputs
divergences
divergence
embedding
freq
partial
chap
concrete
refusals
pound
infinite
finalisation
behaviour
consider
transition
approach
springer
total
finite
aopi
correctness
observations
sets
processes
initial
define
lotos
년:
2018
언어:
english
파일:
PDF, 3.55 MB
개인 태그:
0
/
0
english, 2018
4
课堂攻略 3+3 初三英语 上
沈阳:辽海出版社
张达,杨威,徐文军,刘有敏,王珏,苏金影编
lesson
countries
interesting
shadow
trees
careful
christmas
library
phones
exam
interested
mobile
sports
beijing
england
swimming
ttt
weather
edison
enjoy
hainan
holidays
pollution
swim
winter
yikeyilian
bell
corson
couldn
jobs
machines
stamps
cinit
donkey
excuse
oee
finished
meteorite
newspaper
newspapers
traffic
wants
년:
2003
언어:
Chinese
파일:
PDF, 7.88 MB
개인 태그:
0
/
0
Chinese, 2003
5
PA2000电脑入门
全华科技图书股份有限公司
全亚电子工业股份有限公司编
prl
pa2000
wordstar
cobex
count
ovr
mbasic
bytes
command
rrr
sys
brr
delete
edit
miles
ren
bes
char
cobol
directory
bik
bma
eft
ext
fmtsof
frl
insert
recs
rhe
rra
srm
srs
surface
valleys
bie
brt
bss
cinit
ctrl
dump
eab
editing
fortran
gensys
hra
input
maon
map
meh
o00
년:
1982
언어:
chinese
파일:
PDF, 1.06 MB
개인 태그:
0
/
0
chinese, 1982
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×