找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Programmverifikation; Sequentielle, parall Krzysztof R. Apt,Ernst-Rüdiger Olderog Textbook 1994 Springer-Verlag Berlin Heidelberg 1994 Fair

[復(fù)制鏈接]
查看: 34588|回復(fù): 35
樓主
發(fā)表于 2025-3-21 16:10:59 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Programmverifikation
副標(biāo)題Sequentielle, parall
編輯Krzysztof R. Apt,Ernst-Rüdiger Olderog
視頻videohttp://file.papertrans.cn/761/760214/760214.mp4
叢書名稱Springer-Lehrbuch
圖書封面Titlebook: Programmverifikation; Sequentielle, parall Krzysztof R. Apt,Ernst-Rüdiger Olderog Textbook 1994 Springer-Verlag Berlin Heidelberg 1994 Fair
出版日期Textbook 1994
關(guān)鍵詞Fairne?annahmen; Operationelle Semantik; Programmtransformation; Programmverifikation; Semantik; Syntax-g
版次1
doihttps://doi.org/10.1007/978-3-642-57947-9
isbn_softcover978-3-540-57479-8
isbn_ebook978-3-642-57947-9Series ISSN 0937-7433 Series E-ISSN 2512-5214
issn_series 0937-7433
copyrightSpringer-Verlag Berlin Heidelberg 1994
The information of publication is updating

書目名稱Programmverifikation影響因子(影響力)




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




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




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




書目名稱Programmverifikation被引頻次




書目名稱Programmverifikation被引頻次學(xué)科排名




書目名稱Programmverifikation年度引用




書目名稱Programmverifikation年度引用學(xué)科排名




書目名稱Programmverifikation讀者反饋




書目名稱Programmverifikation讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 20:50:04 | 只看該作者
第160214主題貼--第2樓 (沙發(fā))
板凳
發(fā)表于 2025-3-22 01:45:09 | 只看該作者
板凳
地板
發(fā)表于 2025-3-22 07:56:04 | 只看該作者
第4樓
5#
發(fā)表于 2025-3-22 11:51:36 | 只看該作者
5樓
6#
發(fā)表于 2025-3-22 14:05:20 | 只看該作者
6樓
7#
發(fā)表于 2025-3-22 18:29:48 | 只看該作者
7樓
8#
發(fā)表于 2025-3-22 22:27:02 | 只看該作者
8樓
9#
發(fā)表于 2025-3-23 03:24:13 | 只看該作者
9樓
10#
發(fā)表于 2025-3-23 08:17:11 | 只看該作者
10樓
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-31 08:17
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
教育| 通道| 桐乡市| 晴隆县| 吴桥县| 河西区| 舟曲县| 马边| 安西县| 康平县| 康保县| 荆门市| 昌图县| 霸州市| 涞源县| 禹州市| 泽普县| 曲沃县| 横峰县| 云龙县| 铁岭县| 平谷区| 桦甸市| 五寨县| 东台市| 大新县| 武隆县| 三台县| 什邡市| 姚安县| 保靖县| 渑池县| 洛隆县| 德阳市| 肇源县| 鹰潭市| 汶上县| 嘉祥县| 翼城县| 宜兰县| 阿合奇县|