紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Tools and algorithms for the construction and analysis of systemsedited by Bernd Finkbeiner, Laura Kovács. |
其他題名: |
30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings. |
其他題名: |
TACAS 2024 |
其他作者: |
Finkbeiner, Bernd. |
團體作者: |
|
出版者: |
Cham :Springer Nature Switzerland :2024. |
面頁冊數: |
xxii, 428 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
System designCongresses. |
電子資源: |
https://doi.org/10.1007/978-3-031-57256-2 |
ISBN: |
9783031572562$q(electronic bk.) |