募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
24.9% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Protocol Specification, Testing and Verification, XII. Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992
North Holland
R.J. Linn and M.Ü. Uyar (Eds.)
protocol
specification
transition
testing
formal
event
events
algorithm
implementation
input
variables
defined
figure
systems
output
transitions
specifications
sequences
behaviour
conformance
node
processes
generation
protocols
fsm
method
ttcn
queue
parameters
context
finite
path
specified
cases
verification
values
uio
function
step
methods
validation
lotos
traces
tests
receiver
packet
sets
initial
predicate
module
年:
1992
语言:
english
文件:
PDF, 7.37 MB
您的标签:
0
/
0
english, 1992
2
Teatro 2
Copi
hola
jesuita
ahmed
linda
mimf
jno
fiff
jpero
vaca
heladera
ique
copi
s61o
safo
c6mo
goliatha
martfn
jme
piramide
fantasma
tambien
escalera
jya
doctora
jse
sagrada
ustedes
relna
querido
jte
mlmf
aguatero
flff
ratas
escaleras
escucha
sacre
senor
plata
vizconde
cuchillo
despues
glu
hambre
jesta
solitaria
ihola
jmi
mfa
puio
语言:
spanish
文件:
PDF, 3.57 MB
您的标签:
0
/
5.0
spanish
3
Философия философии
Ларс Свендсен
yto
bce
wim
uto
moxkho
takoe
4to
haykh
moxet
2ke
ohh
bompoc
ckopee
ohm
stom
jia
bcero
ectb
kotopbie
meta
moxho
hayku
sth
mehee
ce6e
sthx
a3bika
cboio
gbi
moxket
pa3
6bi
bcex
stot
kotopom
toukh
4yto
camo
kohthhehtaibhom
puioco
tofo
tora
xota
6bitb
ctb
halith
hbim
kakhe
kora
mhe
语言:
russian
文件:
PDF, 63.52 MB
您的标签:
0
/
0
russian
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×