找回密碼
 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ù) 返回頂部 返回列表
黎城县| 中山市| 巴彦淖尔市| 于都县| 岳普湖县| 宜黄县| 克山县| 灵山县| 博罗县| 定远县| 稻城县| 贵港市| 新巴尔虎左旗| 顺平县| 都匀市| 喀什市| 韶关市| 巴林右旗| 白朗县| 温宿县| 肥乡县| 甘孜县| 买车| 留坝县| 兴海县| 利辛县| 大姚县| 新安县| 东乡县| 江门市| 新竹县| 高邮市| 卫辉市| 淄博市| 临潭县| 海淀区| 嵊泗县| 闵行区| 余干县| 溆浦县| 廉江市|