派博傳思國際中心

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

太保市| 东乌珠穆沁旗| 扎囊县| 华池县| 旬阳县| 新绛县| 柳林县| 潜江市| 顺昌县| 广汉市| 彭水| 胶南市| 寿光市| 天全县| 平利县| 辽阳县| 克东县| 松江区| 巧家县| 江达县| 山东省| 洛川县| 房山区| 祁阳县| 库伦旗| 额敏县| 曲沃县| 靖安县| 日照市| 天全县| 呈贡县| 凤冈县| 武隆县| 湾仔区| 灵武市| 东至县| 孟州市| 乌兰县| 张掖市| 韩城市| 永安市|