找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Software Engineering and Formal Methods; 18th International C Frank de Boer,Antonio Cerone Conference proceedings 2020 Springer Nature Swit

[復(fù)制鏈接]
查看: 28782|回復(fù): 62
樓主
發(fā)表于 2025-3-21 17:07:58 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Software Engineering and Formal Methods
副標(biāo)題18th International C
編輯Frank de Boer,Antonio Cerone
視頻videohttp://file.papertrans.cn/871/870822/870822.mp4
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Software Engineering and Formal Methods; 18th International C Frank de Boer,Antonio Cerone Conference proceedings 2020 Springer Nature Swit
描述This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020..The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk?were carefully reviewed and selected from 58 submissions. The papers?cover a large variety of topics,?including testing, formal verification, program analysis, runtime verification,?meta-programming and software development and evolution. The papers address?a wide range of systems, such as IoT systems, human-robot interaction in?healthcare scenarios, navigation of maritime autonomous systems, and operating?systems..The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..
出版日期Conference proceedings 2020
關(guān)鍵詞architecting; architecture verification and validation; artificial intelligence; computer hardware; comp
版次1
doihttps://doi.org/10.1007/978-3-030-58768-0
isbn_softcover978-3-030-58767-3
isbn_ebook978-3-030-58768-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer Nature Switzerland AG 2020
The information of publication is updating

書目名稱Software Engineering and Formal Methods影響因子(影響力)




書目名稱Software Engineering and Formal Methods影響因子(影響力)學(xué)科排名




書目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開度




書目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Software Engineering and Formal Methods被引頻次




書目名稱Software Engineering and Formal Methods被引頻次學(xué)科排名




書目名稱Software Engineering and Formal Methods年度引用




書目名稱Software Engineering and Formal Methods年度引用學(xué)科排名




書目名稱Software Engineering and Formal Methods讀者反饋




書目名稱Software Engineering and Formal Methods讀者反饋學(xué)科排名




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

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:01:06 | 只看該作者
板凳
發(fā)表于 2025-3-22 02:47:31 | 只看該作者
https://doi.org/10.1007/978-3-030-58768-0architecting; architecture verification and validation; artificial intelligence; computer hardware; comp
地板
發(fā)表于 2025-3-22 05:30:08 | 只看該作者
5#
發(fā)表于 2025-3-22 09:47:04 | 只看該作者
6#
發(fā)表于 2025-3-22 13:16:42 | 只看該作者
Laura R. Humphrey,James Hamil,Joffrey Huguetards-App. Hier wird dem Leser exklusives Zusatzmaterial in Form von über 300 neuen Prüfungsfragen zur Verfügung gestellt, mit deren Hilfe man jederzeit den eigenen Leistungsstand ermitteln und Prüfungssimulationen durchführen kann..978-3-662-60505-9978-3-662-60506-6
7#
發(fā)表于 2025-3-22 19:03:29 | 只看該作者
8#
發(fā)表于 2025-3-23 00:34:17 | 只看該作者
Miroslav Bures,Matej Klima,Vaclav Rechtberger,Xavier Bellekens,Christos Tachtatzis,Robert Atkinson,Bakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3
9#
發(fā)表于 2025-3-23 04:19:29 | 只看該作者
Dirk Beyer,Marie-Christine Jakobsakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3
10#
發(fā)表于 2025-3-23 05:51:41 | 只看該作者
Dirk Beyer,Marie-Christine Jakobs,Thomas Lembergerakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3
 關(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-19 05:47
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
台北市| 东辽县| 搜索| 昌乐县| 昆明市| 上饶县| 武义县| 修武县| 濮阳县| 洛川县| 常德市| 崇文区| 庆安县| 宝兴县| 密云县| 五河县| 湘阴县| 马尔康县| 孟津县| 天津市| 正蓝旗| 凭祥市| 琼结县| 军事| 宜宾县| 青河县| 仪征市| 来凤县| 定日县| 延安市| 南丹县| 临洮县| 黄大仙区| 敦化市| 乐安县| 郴州市| 宜都市| 西充县| 九龙坡区| 井冈山市| 宣恩县|