| 书目名称 | Fundamentals of Software Engineering |
| 副标题 | 8th International Co |
| 编辑 | Hossein Hojjat,Mieke Massink |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019..The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.. |
| 出版日期 | Conference proceedings 2019 |
| 关键词 | artificial intelligence; complex systems; distributed computer systems; formal logic; formal methods; for |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-31517-7 |
| isbn_softcover | 978-3-030-31516-0 |
| isbn_ebook | 978-3-030-31517-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | IFIP International Federation for Information Processing 2019 |
发表于 2025-3-21 16:05:34
