| 书目名称 | Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops |
| 副标题 | CIFMA 2023 and OpenC |
| 编辑 | Alessandro Aldini |
| 视频video | |
| 概述 | This book is open access, which means that you have free and unlimited access |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023.The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions..SEFM 2023 Collocated Workshops presents the following two workshops:.. . . .5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023). .11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023) . . .. |
| 出版日期 | Conference proceedings 2024 |
| 关键词 | Learning Experiences; Open Access; Open Education; Cognitive Models and Applications; Logics; Foundations |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-66021-4 |
| isbn_softcover | 978-3-031-66020-7 |
| isbn_ebook | 978-3-031-66021-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 16:15:41
