Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
暫譯: 系統建構與分析的工具與演算法：第32屆國際會議，TACAS 2026，作為國際聯合會議的一部分
Junges, Sebastian, Katz, Guy
- 出版商: Springer
- 出版日期: 2026-04-16
- 售價: $2,300
- 貴賓價: 9.5 折 $2,185
- 語言: 英文
- 頁數: 603
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032227488
- ISBN-13: 9783032227485
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.
商品描述(中文翻譯)
開放存取書籍集 LNCS 16505 + 16506 是第32屆國際工具與演算法系統建構與分析會議（TACAS 2026）的會議紀錄，該會議於2026年4月11日至16日在義大利都靈舉行，作為國際聯合會議軟體理論與實務（ETAPS 2026）的一部分。
