找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: ZB 2003: Formal Specification and Development in Z and B; Third International Didier Bert,Jonathan P. Bowen,Marina Waldén Conference proce

[复制链接]
查看: 14110|回复: 34
发表于 2025-3-21 18:53:32 | 显示全部楼层 |阅读模式
书目名称ZB 2003: Formal Specification and Development in Z and B
副标题Third International
编辑Didier Bert,Jonathan P. Bowen,Marina Waldén
视频video
丛书名称Lecture Notes in Computer Science
出版日期Conference proceedings 2003
关键词B method; Unified Modeling Language (UML); XML; Z notation; ZML; algorithm; algorithms; communication; desig
版次1
doihttps://doi.org/10.1007/3-540-44880-2
isbn_softcover978-3-540-40253-4
isbn_ebook978-3-540-44880-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2003
The information of publication is updating

书目名称ZB 2003: Formal Specification and Development in Z and B影响因子(影响力)




书目名称ZB 2003: Formal Specification and Development in Z and B影响因子(影响力)学科排名




书目名称ZB 2003: Formal Specification and Development in Z and B网络公开度




书目名称ZB 2003: Formal Specification and Development in Z and B网络公开度学科排名




书目名称ZB 2003: Formal Specification and Development in Z and B被引频次




书目名称ZB 2003: Formal Specification and Development in Z and B被引频次学科排名




书目名称ZB 2003: Formal Specification and Development in Z and B年度引用




书目名称ZB 2003: Formal Specification and Development in Z and B年度引用学科排名




书目名称ZB 2003: Formal Specification and Development in Z and B读者反馈




书目名称ZB 2003: Formal Specification and Development in Z and B读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:03:15 | 显示全部楼层
978-3-540-40253-4Springer-Verlag Berlin Heidelberg 2003
发表于 2025-3-22 00:54:11 | 显示全部楼层
发表于 2025-3-22 05:29:39 | 显示全部楼层
0302-9743 Overview: 978-3-540-40253-4978-3-540-44880-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
发表于 2025-3-22 12:18:03 | 显示全部楼层
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/xyz/image/1060399.jpg
发表于 2025-3-22 13:40:53 | 显示全部楼层
发表于 2025-3-22 20:33:24 | 显示全部楼层
发表于 2025-3-23 00:57:42 | 显示全部楼层
Mapping the Inventive Structure in Middle-Low Income Countries—The Patent Network of Colombia21 as a pilot case. Applying the co-word analysis network analysis to the IPC (International Patent Classification) subclasses of +2,900 patents granted to inventors/applicants with Colombian affiliation/origin, we constructed the inventive network for three periods 1983–2000, 2001–2010, 2011–2021,
发表于 2025-3-23 02:19:30 | 显示全部楼层
Harald Fellern a comprehensive study undertaken to inform government policy and practice in the event of an avian influenza pandemic – specifically how to prepare (but not panic) the general public. The research phases included: a media analysis of coverage of a potential pandemic; extensive qualitative formativ
发表于 2025-3-23 09:02:08 | 显示全部楼层
Mystery in its Passions: Literary Explorations978-94-007-1017-7Series ISSN 0167-7276 Series E-ISSN 2542-8330
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-2 02:49
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表