Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 計算機科學中的代數與共代數：第二屆國際會議 CALCO 2007 論文集，挪威卑爾根，2007年8月20-24日（計算機科學講義）

***

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2007-08-09
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 463
  • 裝訂: Paperback
  • ISBN: 3540738576
  • ISBN-13: 9783540738572
  • 相關分類: Computer-Science

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

相關主題

商品描述

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in the context of their application in computer science – the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.

商品描述(中文翻譯)

這本書採用雙重方法，使其成為有關這一高度相關當代主題的文獻中極具價值的補充。書中探討了代數和共代數的兩個基本應用領域——作為數學對象以及在計算機科學中的應用背景——涵蓋了抽象模型和邏輯、專門模型和計算、代數和共代數語義，以及系統規範和驗證等主題。本書是第二屆CALCO會議的經過審稿的會議論文集，該會議於2007年8月在挪威舉行。

類似商品