Foundations of Software Science and Computation Structures: 29th International Conference, Fossacs 2026, Held as Part of the International Joint Confe
暫譯: 軟體科學與計算結構基礎：第29屆國際會議，FOSSACS 2026，作為國際聯合會議的一部分舉行
Bertrand, Nathalie, Milius, Stefan
- 出版商: Springer
- 出版日期: 2026-04-16
- 售價: $2,300
- 貴賓價: 9.5 折 $2,185
- 語言: 英文
- 頁數: 660
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032227291
- ISBN-13: 9783032227294
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 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-16, 2026.
The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
商品描述(中文翻譯)
這本開放存取的書籍是第29屆國際軟體科學與計算結構基礎會議（FoSSaCS 2026）的會議紀錄，該會議於2026年4月11日至16日在義大利都靈舉行，作為國際聯合會議「軟體理論與實踐」（ETAPS 2026）的一部分。
這些會議紀錄中包含的30篇論文是從104篇投稿中經過仔細審查和選擇的。這些論文專注於軟體科學的基礎研究，探討支持程式和軟體系統的分析、整合、合成、轉換和驗證的理論和方法。
