派博傳思國際中心

標題: 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.pjsxioz.cn/)

洛阳市| 舞阳县| 太谷县| 天水市| 博兴县| 桂平市| 蕲春县| 句容市| 岱山县| 江山市| 城固县| 建阳市| 普安县| 安义县| 桑日县| 泌阳县| 马公市| 桦川县| 三门峡市| 贵德县| 武邑县| 霍山县| 西充县| 镇远县| 区。| 武安市| 辽宁省| 金坛市| 玉环县| 阜康市| 宁强县| 临桂县| 罗定市| 富裕县| 酉阳| 上杭县| 黄陵县| 青神县| 海门市| 泸水县| 遂平县|