派博傳思國際中心

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

内江市| 彭山县| 临清市| 台北市| 郓城县| 凤阳县| 岳池县| 保德县| 盘锦市| 五大连池市| 新竹县| 天峨县| 青河县| 乐至县| 蓝山县| 满洲里市| 射阳县| 银川市| 梧州市| 甘南县| 米林县| 龙泉市| 青海省| 阜南县| 盘山县| 原平市| 玉环县| 连平县| 纳雍县| 普洱| 安国市| 保德县| 台中市| 巨鹿县| 荔浦县| 新晃| 诏安县| 宁南县| 蛟河市| 简阳市| 喜德县|