设为首页收藏本站
开启辅助访问 切换到窄版

 找回密码
 To register

QQ登录

只需一步，快速开始

扫一扫，访问微社区

  • ALL
  • Journals
  • Books

派博传思国际中心 »期刊书目

› BOOKS
› BOOKS with Alphabet F (Fa, Fb,Fc, Fd, Fe…... )

1234567下一页
返回列表

Titlebook: Formal Methods for Open Object-Based Distributed Systems; 7th IFIP WG 6.1 Inte Martin Steffen,Gianluigi Zavattaro Conference proceedings 20

[复制链接]
查看: 39072|回复: 65
发表于 2025-3-21 18:40:23 | 显示全部楼层 |阅读模式
书目名称Formal Methods for Open Object-Based Distributed Systems
副标题7th IFIP WG 6.1 Inte
编辑Martin Steffen,Gianluigi Zavattaro
视频videohttp://file.papertrans.cn/346/345801/345801.mp4
概述Includes supplementary material:
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Formal Methods for Open Object-Based Distributed Systems; 7th IFIP WG 6.1 Inte Martin Steffen,Gianluigi Zavattaro Conference proceedings 20
出版日期Conference proceedings 2005
关键词UML; Unified Modeling Language (UML); distributed systems; formal method; formal security analysis; forma
版次1
doihttps://doi.org/10.1007/b136996
isbn_softcover978-3-540-26181-0
isbn_ebook978-3-540-31556-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightIFIP International Federation for Information Processing 2005
The information of publication is updating

书目名称Formal Methods for Open Object-Based Distributed Systems影响因子(影响力)




书目名称Formal Methods for Open Object-Based Distributed Systems影响因子(影响力)学科排名




书目名称Formal Methods for Open Object-Based Distributed Systems网络公开度




书目名称Formal Methods for Open Object-Based Distributed Systems网络公开度学科排名




书目名称Formal Methods for Open Object-Based Distributed Systems被引频次




书目名称Formal Methods for Open Object-Based Distributed Systems被引频次学科排名




书目名称Formal Methods for Open Object-Based Distributed Systems年度引用




书目名称Formal Methods for Open Object-Based Distributed Systems年度引用学科排名




书目名称Formal Methods for Open Object-Based Distributed Systems读者反馈




书目名称Formal Methods for Open Object-Based Distributed Systems读者反馈学科排名




单选投票, 共有 0 人参与投票
1.jpg
 

0票 0%

Perfect with Aesthetics
2.jpg
 

0票 0%

Better Implies Difficulty
3.jpg
 

0票 0%

Good and Satisfactory
4.jpg
 

0票 0%

Adverse Performance
5.jpg
 

0票 0%

Disdainful Garbage
您所在的用户组没有投票权限
漏出
回复

举报

发表于 2025-3-21 22:29:42 | 显示全部楼层
第145801主题贴--第2楼 (沙发)
Repatriate
回复

举报

发表于 2025-3-22 00:34:38 | 显示全部楼层
板凳
财产
回复

举报

发表于 2025-3-22 05:19:40 | 显示全部楼层
第4楼
案发地点
回复

举报

发表于 2025-3-22 10:47:01 | 显示全部楼层
5楼
Interferons
回复

举报

发表于 2025-3-22 12:55:10 | 显示全部楼层
6楼
tympanometry
回复

举报

发表于 2025-3-22 18:45:48 | 显示全部楼层
7楼
tympanometry
回复

举报

发表于 2025-3-23 00:41:47 | 显示全部楼层
8楼
IVORY
回复

举报

发表于 2025-3-23 01:37:30 | 显示全部楼层
9楼
dainty
回复

举报

发表于 2025-3-23 09:11:01 | 显示全部楼层
10楼
MEEK
回复

举报

下一页 »
1234567下一页
返回列表
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 吾爱论文网 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
QQ|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-11-15 04:45
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表