找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: FM 2006: Formal Methods; 14th International S Jayadev Misra,Tobias Nipkow,Emil Sekerinski Conference proceedings 2006 Springer-Verlag Berli

[復(fù)制鏈接]
查看: 10818|回復(fù): 64
樓主
發(fā)表于 2025-3-21 17:38:01 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱FM 2006: Formal Methods
副標(biāo)題14th International S
編輯Jayadev Misra,Tobias Nipkow,Emil Sekerinski
視頻videohttp://file.papertrans.cn/341/340087/340087.mp4
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: FM 2006: Formal Methods; 14th International S Jayadev Misra,Tobias Nipkow,Emil Sekerinski Conference proceedings 2006 Springer-Verlag Berli
出版日期Conference proceedings 2006
關(guān)鍵詞Refactoring; Resolution; algebraic methods; algorithm; formal methods; formal specification; formal testin
版次1
doihttps://doi.org/10.1007/11813040
isbn_softcover978-3-540-37215-8
isbn_ebook978-3-540-37216-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2006
The information of publication is updating

書目名稱FM 2006: Formal Methods影響因子(影響力)




書目名稱FM 2006: Formal Methods影響因子(影響力)學(xué)科排名




書目名稱FM 2006: Formal Methods網(wǎng)絡(luò)公開度




書目名稱FM 2006: Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱FM 2006: Formal Methods被引頻次




書目名稱FM 2006: Formal Methods被引頻次學(xué)科排名




書目名稱FM 2006: Formal Methods年度引用




書目名稱FM 2006: Formal Methods年度引用學(xué)科排名




書目名稱FM 2006: Formal Methods讀者反饋




書目名稱FM 2006: Formal Methods讀者反饋學(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 23:00:09 | 只看該作者
第140087主題貼--第2樓 (沙發(fā))
板凳
發(fā)表于 2025-3-22 01:31:59 | 只看該作者
板凳
地板
發(fā)表于 2025-3-22 07:16:40 | 只看該作者
第4樓
5#
發(fā)表于 2025-3-22 09:49:37 | 只看該作者
5樓
6#
發(fā)表于 2025-3-22 15:25:39 | 只看該作者
6樓
7#
發(fā)表于 2025-3-22 20:51:22 | 只看該作者
7樓
8#
發(fā)表于 2025-3-22 23:36:38 | 只看該作者
8樓
9#
發(fā)表于 2025-3-23 01:35:20 | 只看該作者
9樓
10#
發(fā)表于 2025-3-23 08:19:23 | 只看該作者
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, 2025-10-14 13:15
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
志丹县| 平顺县| 从江县| 介休市| 赞皇县| 邮箱| 达日县| 桐柏县| 调兵山市| 灵山县| 泰兴市| 凤城市| 义乌市| 新营市| 朝阳市| 长春市| 太原市| 宣恩县| 海南省| 绿春县| 加查县| 彭山县| 遂平县| 夹江县| 垫江县| 兴山县| 福州市| 杭锦后旗| 宕昌县| 陕西省| 阳谷县| 偏关县| 承德市| 惠来县| 望江县| 达尔| 永修县| 彩票| 永安市| 安阳县| 佛学|