派博傳思國際中心

標題: Titlebook: Modular Compiler Verification; A Refinement-Algebra Markus Müller-Olm Book 1997 Springer-Verlag Berlin Heidelberg 1997 Action.compiler.comp [打印本頁]

作者: 恰當 時間: 2025-3-21 17:37
書目名稱Modular Compiler Verification影響因子(影響力)

書目名稱Modular Compiler Verification影響因子(影響力)學(xué)科排名

書目名稱Modular Compiler Verification網(wǎng)絡(luò)公開度

書目名稱Modular Compiler Verification網(wǎng)絡(luò)公開度學(xué)科排名

書目名稱Modular Compiler Verification被引頻次

書目名稱Modular Compiler Verification被引頻次學(xué)科排名

書目名稱Modular Compiler Verification年度引用

書目名稱Modular Compiler Verification年度引用學(xué)科排名

書目名稱Modular Compiler Verification讀者反饋

書目名稱Modular Compiler Verification讀者反饋學(xué)科排名

作者: 新字 時間: 2025-3-21 23:47

作者: 木訥 時間: 2025-3-22 03:50
978-3-540-63406-5Springer-Verlag Berlin Heidelberg 1997

作者: BOOM 時間: 2025-3-22 04:38

作者: Increment 時間: 2025-3-22 12:29
0302-9743 or, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the nov

作者: 靈敏 時間: 2025-3-22 12:57

作者: Inculcate 時間: 2025-3-22 18:16

作者: lobster 時間: 2025-3-22 21:20

作者: 鋪子 時間: 2025-3-23 01:51
9樓

作者: hemophilia 時間: 2025-3-23 05:33
10樓

作者: CRUE 時間: 2025-3-23 13:42
第4樓

作者: 許可 時間: 2025-3-23 17:21
第4樓

作者: 提升 時間: 2025-3-23 21:42
5樓

作者: 蜈蚣 時間: 2025-3-24 01:20
5樓

作者: 無孔 時間: 2025-3-24 03:43
5樓

作者: 半身雕像 時間: 2025-3-24 08:33
5樓

作者: 仇恨 時間: 2025-3-24 11:01
6樓

作者: 嘮叨 時間: 2025-3-24 15:15
6樓

作者: 使殘廢 時間: 2025-3-24 20:13
6樓

作者: 為敵 時間: 2025-3-25 02:19
6樓

作者: 大門在匯總 時間: 2025-3-25 04:14
7樓

作者: confederacy 時間: 2025-3-25 09:31
7樓

作者: motor-unit 時間: 2025-3-25 13:34
7樓

作者: 裹住 時間: 2025-3-25 16:09
7樓

作者: Dislocation 時間: 2025-3-25 21:45
8樓

作者: CREST 時間: 2025-3-26 01:32
8樓

作者: 烤架 時間: 2025-3-26 07:47
8樓

作者: Flavouring 時間: 2025-3-26 08:27
8樓

作者: Badger 時間: 2025-3-26 12:48
9樓

作者: amygdala 時間: 2025-3-26 19:57
9樓

作者: ALE 時間: 2025-3-26 22:26
9樓

作者: Contracture 時間: 2025-3-27 02:14
9樓

作者: 移動 時間: 2025-3-27 09:12
10樓

作者: CLOT 時間: 2025-3-27 12:36
10樓

作者: Esalate 時間: 2025-3-27 16:29
10樓

作者: fibula 時間: 2025-3-27 20:18
10樓

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

成都市| 阿拉善盟| 滁州市| 长沙市| 白朗县| 连南| 灵石县| 吉首市| 潼南县| 博野县| 丹寨县| 罗源县| 涡阳县| 营山县| 重庆市| 修水县| 红河县| 长春市| 天等县| 黑龙江省| 阿合奇县| 南阳市| 岗巴县| 本溪市| 光泽县| 佛山市| 错那县| 威宁| 乌鲁木齐市| 樟树市| 工布江达县| 广东省| 潞西市| 天镇县| 榆树市| 富阳市| 新余市| 蓬莱市| 云梦县| 中江县| 陆川县|