募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
23.4% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Modeling Companion for Software Practitioners
Springer Berlin Heidelberg
Egon Börger
,
Alexander Raschke
asm
asms
node
sect
step
refinement
defined
abstract
function
entry
modeling
coreasm
component
update
execution
behavior
forall
functions
rreq
machines
models
current
updates
active
define
concurrent
nodes
messages
values
components
specification
choose
sender
springer
plug
undef
cond
corresponding
destination
systems
correctness
destseqnum
req
refined
processes
false
constructs
sequential
edge
switch
年:
2018
语言:
english
文件:
PDF, 4.66 MB
您的标签:
0
/
0
english, 2018
2
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Springer-Verlag Berlin Heidelberg
Sylvain Boulmé (auth.)
,
Jean-Raymond Abrial
,
Uwe Glässer (eds.)
asm
formal
uml
invariant
plug
abstract
methods
method
coreasm
specification
function
invariants
delegate
java
diagrams
refinement
step
asms
tools
models
functions
approach
operations
machines
operation
springer
defined
heidelberg
engine
protocol
constraints
target
first
purse
methodology
algorithms
different
execution
component
ocl
systems
metamodel
event
lncs
update
algorithm
diagram
specifications
current
framework
年:
2009
语言:
english
文件:
PDF, 3.90 MB
您的标签:
0
/
0
english, 2009
3
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Springer-Verlag Berlin Heidelberg
Sylvain Boulmé (auth.)
,
Jean-Raymond Abrial
,
Uwe Glässer (eds.)
asm
formal
uml
invariant
plug
abstract
methods
method
coreasm
function
specification
invariants
delegate
java
diagrams
step
asms
tools
models
refinement
functions
approach
operations
machines
operation
springer
defined
heidelberg
engine
protocol
constraints
target
purse
first
methodology
algorithms
different
execution
component
ocl
systems
metamodel
event
lncs
update
algorithm
diagram
current
framework
signal
年:
2009
语言:
english
文件:
PDF, 3.13 MB
您的标签:
0
/
0
english, 2009
4
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Springer-Verlag Berlin Heidelberg
Sylvain Boulmé (auth.)
,
Jean-Raymond Abrial
,
Uwe Glässer (eds.)
asm
formal
uml
invariant
plug
abstract
methods
method
coreasm
function
specification
invariants
delegate
java
diagrams
step
asms
tools
models
refinement
functions
approach
operations
machines
operation
springer
defined
heidelberg
engine
protocol
constraints
target
purse
first
methodology
algorithms
different
execution
component
ocl
systems
metamodel
event
lncs
update
algorithm
diagram
current
framework
signal
年:
2009
语言:
english
文件:
PDF, 3.05 MB
您的标签:
0
/
0
english, 2009
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×