Foundations of Software Science and Computation Structures: 27th International Conference, Fossacs 2024, Held as Part of the European Joint Conference

Kobayashi, Naoki, Worrell, James

Foundations of Software Science and Computation Structures: 27th International Conference, Fossacs 2024, Held as Part of the European Joint Conference
  • 出版商: Springer
  • 出版日期: 2024-04-06
  • 售價: $2,220
  • 貴賓價: 9.5 折 $2,109
  • 語言: 英文
  • 頁數: 272
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3031572300
  • ISBN-13: 9783031572302

    • 海外代購書籍(需單獨結帳)

商品描述

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.
The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:
Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

商品描述(中文翻譯)

兩本開放存取的卷冊 LNCS 14574 和 14575 構成了第27屆國際軟體科學和計算結構基礎研討會（FOSSACS 2024）的論文集，該研討會於2024年4月在盧森堡舉行。
本書收錄了24篇全文論文，經過嚴格審查和從79篇投稿中精心選擇。這些論文按照以下主題進行組織：
第一部分：無窮遊戲；範疇語義學；自動機與合成；第二部分：類型和程式語言；邏輯和證明；無窮狀態系統。

類似商品