派博傳思國際中心

標(biāo)題: Titlebook: The Object-Z Specification Language; Graeme Smith Book 2000 Springer Science+Business Media New York 2000 Attribut.Self.formal specificati [打印本頁]

作者: 無感覺 時(shí)間: 2025-3-21 17:10
書目名稱The Object-Z Specification Language影響因子(影響力)

書目名稱The Object-Z Specification Language影響因子(影響力)學(xué)科排名

書目名稱The Object-Z Specification Language網(wǎng)絡(luò)公開度

書目名稱The Object-Z Specification Language網(wǎng)絡(luò)公開度學(xué)科排名

書目名稱The Object-Z Specification Language被引頻次

書目名稱The Object-Z Specification Language被引頻次學(xué)科排名

書目名稱The Object-Z Specification Language年度引用

書目名稱The Object-Z Specification Language年度引用學(xué)科排名

書目名稱The Object-Z Specification Language讀者反饋

書目名稱The Object-Z Specification Language讀者反饋學(xué)科排名

作者: Pandemic 時(shí)間: 2025-3-21 22:16

作者: 無效 時(shí)間: 2025-3-22 01:04
The Object-Z Specification Language978-1-4615-5265-9Series ISSN 1567-7338

作者: Multiple 時(shí)間: 2025-3-22 07:58
Advances in Formal Methodshttp://image.papertrans.cn/t/image/915193.jpg

作者: AER 時(shí)間: 2025-3-22 09:51
https://doi.org/10.1007/978-1-4615-5265-9Attribut; Self; formal specification; functions; inheritance; language; object; polymorphism

作者: 令人心醉 時(shí)間: 2025-3-22 14:27

作者: Hypomania 時(shí)間: 2025-3-22 17:45

作者: 膽大 時(shí)間: 2025-3-22 21:19
Book 2000rphism. By extending Z‘s semantic basis, itenables the specification of systems as collections of independentobjects in which self and mutual referencing are possible. ..The Object-Z Specification Language. presents a comprehensivedescription of Object-Z including discussions of semantic issues,defi

作者: 反復(fù)無常 時(shí)間: 2025-3-23 04:30
9樓

作者: meditation 時(shí)間: 2025-3-23 07:57
10樓

作者: 截?cái)?nbsp; 時(shí)間: 2025-3-23 12:36
第4樓

作者: 軍械庫 時(shí)間: 2025-3-23 16:05
第4樓

作者: hieroglyphic 時(shí)間: 2025-3-23 18:51
5樓

作者: Fatten 時(shí)間: 2025-3-23 23:47
5樓

作者: Friction 時(shí)間: 2025-3-24 03:34
5樓

作者: Mendicant 時(shí)間: 2025-3-24 09:38
5樓

作者: 冒號(hào) 時(shí)間: 2025-3-24 13:05
6樓

作者: Provenance 時(shí)間: 2025-3-24 14:54
6樓

作者: BET 時(shí)間: 2025-3-24 22:21
6樓

作者: 枯萎將要 時(shí)間: 2025-3-24 23:58
6樓

作者: Altitude 時(shí)間: 2025-3-25 03:41
7樓

作者: Complement 時(shí)間: 2025-3-25 08:50
7樓

作者: acrimony 時(shí)間: 2025-3-25 13:35
7樓

作者: 吼叫 時(shí)間: 2025-3-25 16:05
7樓

作者: 安裝 時(shí)間: 2025-3-25 23:39
8樓

作者: 門閂 時(shí)間: 2025-3-26 01:33
8樓

作者: acrimony 時(shí)間: 2025-3-26 06:31
8樓

作者: adduction 時(shí)間: 2025-3-26 11:14
8樓

作者: 鐵砧 時(shí)間: 2025-3-26 14:13
9樓

作者: 尋找 時(shí)間: 2025-3-26 18:30
9樓

作者: Hemodialysis 時(shí)間: 2025-3-26 23:27
9樓

作者: 有機(jī)體 時(shí)間: 2025-3-27 03:08
9樓

作者: 緯度 時(shí)間: 2025-3-27 06:09
10樓

作者: fibula 時(shí)間: 2025-3-27 13:23
10樓

作者: 大溝 時(shí)間: 2025-3-27 14:00
10樓

作者: antiandrogen 時(shí)間: 2025-3-27 21:27
10樓

歡迎光臨派博傳思國際中心 (http://www.yitongpaimai.cn/)

永清县| 中牟县| 封丘县| 华容县| 禹州市| 蓬莱市| 林州市| 阜宁县| 东方市| 大丰市| 红安县| 科尔| 岳阳县| 特克斯县| 吴旗县| 林周县| 渑池县| 喜德县| 宜章县| 马关县| 屏南县| 西充县| 宝清县| 肥西县| 浦县| 祁门县| 上杭县| 和田市| 北票市| 山东省| 小金县| 吐鲁番市| 无锡市| 晋江市| 金溪县| 新民市| 合山市| 军事| 交城县| 旌德县| 德州市|