紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Foundations of software science and computation structuresedited by Orna Kupferman, Pawel Sobocinski. |
其他題名: |
26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / |
其他題名: |
FoSSaCS 2023 |
其他作者: |
Kupferman, Orna. |
團體作者: |
|
出版者: |
Cham :Springer Nature Switzerland :2023. |
面頁冊數: |
xiv, 562 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Computer software |
電子資源: |
https://doi.org/10.1007/978-3-031-30829-1 |
ISBN: |
9783031308291$q(electronic bk.) |