募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.5% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 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 复制完整的最后一条消息并将其粘贴到此处
×
×