Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint ... (Lecture Notes in Computer Science)
暫譯: 軟體科學與計算結構基礎：第20屆國際會議 FOSSACS 2017，作為歐洲聯合會議的一部分...(計算機科學講義)

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint ... (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2017-03-16
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 588
  • 裝訂: Paperback
  • ISBN: 3662544571
  • ISBN-13: 9783662544570
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

商品描述(中文翻譯)

本書為第20屆國際軟體科學基礎與計算結構會議（FOSSACS 2017）的會議紀錄，該會議於2017年4月在瑞典烏普薩拉舉行，並作為2017年歐洲軟體理論與實踐聯合會議（ETAPS 2017）的一部分。

本卷中呈現的32篇論文經過仔細審查和選擇，來自101篇投稿。這些論文被組織成以下主題部分：相干空間與高階計算；代數與共代數；遊戲與自動機；自動機、邏輯與形式語言；證明理論；機率；併發；λ演算與構造性證明；以及語義學與範疇理論。

類似商品