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

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

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

相關主題

商品描述

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.

The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.

商品描述(中文翻譯)

本書是第十九屆國際軟體科學基礎與計算結構會議（FOSSACS 2016）的會議紀錄，該會議於2016年4月在荷蘭埃因霍溫舉行，並作為2016年歐洲軟體理論與實踐聯合會議（ETAPS 2016）的一部分。

本卷中呈現的31篇完整論文是從85篇投稿中經過仔細審查和選擇而來。這些論文被組織成以下主題部分：類型；遞歸與不動點；驗證與程式分析；自動機、邏輯、遊戲；隨機與時間系統；證明理論與λ演算；無限系統的演算法；以及單子。

類似商品