Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
暫譯: 證明與程式的類型：國際研討會，TYPES 2006，英國諾丁漢，2006年4月18-21日，修訂選擇論文（計算機科學講義）

***

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2007-10-01
  • 售價: $2,430
  • 貴賓價: 9.5 折 $2,309
  • 語言: 英文
  • 頁數: 272
  • 裝訂: Paperback
  • ISBN: 3540744630
  • ISBN-13: 9783540744634
  • 相關分類: Computer-Science

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

商品描述

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

商品描述(中文翻譯)

本卷收錄了國際類型工作組研討會的經過審稿的會後論文。這17篇論文探討了基於類型理論的形式推理和計算機程式設計中的所有當前議題，包括推理的語言和計算工具；在多個領域的應用，例如程式語言分析；認證軟體；數學的形式化；以及數學教育。

類似商品