书籍搜索
书
捐款
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Springer International Publishing
Julia Seiter
,
Robert Wille
,
Rolf Drechsler (auth.)
refinement
operation
abstract
verification
refined
diagram
operations
activity
diagrams
constraints
models
attributes
step
uml
ocl
behavior
approach
incall
extraction
vertical
attribute
node
formal
integer
refσ
methods
smt
initial
nodes
proposed
context
correct
specification
required
respective
sect
correctness
invariants
shown
guard
task
σi
decision
placecall
refω
corresponding
describe
modeling
boolean
horizontal
年:
2017
语言:
english
文件:
PDF, 2.07 MB
您的标签:
0
/
0
english, 2017
2
C++ Builder 5. Руководство разработчика
Холингвэрт Д.
builder
getprocaddress
oobektob
opengl
wizard
midas
corba
pe3rome
vcl
microsoft
yctahobka
bce
chctembi
jia
napa
4to
mactepa
oobexta
activeform
callingapp
codepstcanue
moxkho
wim
yactb
2ke
coodepstcanue
import
win32
yto
addsubtract
bcero
ceppepa
directx
hykho
jahhbix
kommohehta
loadsayfunction
mactep
manager
pa3yen
showmessage
teamsource
tekcta
visual
void
3allhta
3to
calling
chapter15
d11
年:
2001
语言:
russian
文件:
ZIP, 8.90 MB
您的标签:
0
/
0
russian, 2001
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×