返回检索首页
我的图书馆登录
Web服务组合建模与验证
/程永上
作者
程永上
价格
CNY35.00
出版者
中国物资出版社
索书号
TP393.4-1/2632
ISBN
978-7-5047-3858-5
分类号
TP393.4-1
页数
181页
出版日期
20110101
出版地
北京
附件
:
设置1
:
设置2
:
设置3
:
设置4
:本书提出Web服务组合的语义Petri网模型，改进Web服务组合的流程正确性验证算法，提出Web服务组合的语义一致性验证，将Web服务组合建模与验证应用于水利领域。
附注提要
本书提出Web服务组合的语义Petri网模型，改进Web服务组合的流程正确性验证算法，提出Web服务组合的语义一致性验证，将Web服务组合建模与验证应用于水利领域。
目录
暂无目录
(0)
||
(0)
手机二维条形码
二维条形码使用说明
馆藏信息
序号
索书号
码号定位
订户
馆藏地点
馆藏状态
借出日期
还回日期
流通类型
卷册说明
登录号
1
TP393.4-1/2632
KT0672784
KT
外借书库
入藏
借阅
0
2
TP393.4-1/2632
KT0672783
KT
外借书库
入藏
借阅
0
相关链接：