找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 14318|回復(fù): 34
樓主
發(fā)表于 2025-3-21 18:53:32 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱ZB 2003: Formal Specification and Development in Z and B
副標(biāo)題Third International
編輯Didier Bert,Jonathan P. Bowen,Marina Waldén
視頻videohttp://file.papertrans.cn/1061/1060399/1060399.mp4
叢書名稱Lecture Notes in Computer Science
出版日期Conference proceedings 2003
關(guān)鍵詞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影響因子(影響力)學(xué)科排名




書目名稱ZB 2003: Formal Specification and Development in Z and B網(wǎng)絡(luò)公開度




書目名稱ZB 2003: Formal Specification and Development in Z and B網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱ZB 2003: Formal Specification and Development in Z and B被引頻次




書目名稱ZB 2003: Formal Specification and Development in Z and B被引頻次學(xué)科排名




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




書目名稱ZB 2003: Formal Specification and Development in Z and B年度引用學(xué)科排名




書目名稱ZB 2003: Formal Specification and Development in Z and B讀者反饋




書目名稱ZB 2003: Formal Specification and Development in Z and B讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:03:15 | 只看該作者
978-3-540-40253-4Springer-Verlag Berlin Heidelberg 2003
板凳
發(fā)表于 2025-3-22 00:54:11 | 只看該作者
地板
發(fā)表于 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
5#
發(fā)表于 2025-3-22 12:18:03 | 只看該作者
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/xyz/image/1060399.jpg
6#
發(fā)表于 2025-3-22 13:40:53 | 只看該作者
7#
發(fā)表于 2025-3-22 20:33:24 | 只看該作者
8#
發(fā)表于 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,
9#
發(fā)表于 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
10#
發(fā)表于 2025-3-23 09:02:08 | 只看該作者
Mystery in its Passions: Literary Explorations978-94-007-1017-7Series ISSN 0167-7276 Series E-ISSN 2542-8330
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-6 16:42
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
阜阳市| 三都| 兴仁县| 沁源县| 伊川县| 葵青区| 永安市| 孝昌县| 龙岩市| 依兰县| 马鞍山市| 长兴县| 孝义市| 洪洞县| 东乌珠穆沁旗| 饶河县| 巴彦县| 科技| 格尔木市| 津市市| 通河县| 五华县| 宁海县| 札达县| 江阴市| 吉安县| 福贡县| 临邑县| 同仁县| 如东县| 扶沟县| 哈密市| 乌鲁木齐县| 沙湾县| 且末县| 屏边| 黑山县| 宁都县| 湟中县| 莫力| 青海省|