Verified functional programming in Agda

著者

    • Stump, Aaron

書誌事項

Verified functional programming in Agda

Aaron Stump

（ACM books, #9）

Association for Computing Machinery , , c2016

  • : hard

大学図書館所蔵 件 / 全1件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献： 1件中  1-1を表示

  • ACM books

    Morgan & Claypool Publishers

    所蔵館1館

詳細情報

  • NII書誌ID(NCID)
    BC06952119
  • ISBN
    • 9781970001273
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    [New York],[San Rafael, Calif.] Morgan & Claypool Publishers
  • ページ数/冊数
    xxiv, 258 p.
  • 大きさ
    25 cm
  • 親書誌ID
ページトップへ