紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Composability, comprehensibility and correctness of working softwareedited by Zoltan Porkolab, Viktoria Zsok. |
其他題名: |
8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers / |
其他作者: |
Porkolab, Zoltan. |
團體作者: |
|
出版者: |
Cham :Springer International Publishing :2023. |
面頁冊數: |
x, 393 p. :ill., digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Functional programming (Computer science) |
電子資源: |
https://doi.org/10.1007/978-3-031-42833-3 |
ISBN: |
9783031428333$q(electronic bk.) |