豆瓣图书标签: 程序理论

综合排序  /  按出版日期排序  /  按评价排序
  • 程序设计语言的形式语义

    Glynn Winskel / 宋国新 等 / 中信出版社 机械工业出版社 / 2004-1 / 32.00元
    7.9 (23人评价)

    本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包...

  • 类型和程序设计语言

    皮尔斯 / 电子工业出版社 / 2005年05月 / 58.0
    7.8 (23人评价)

    类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计...


相关的标签  · · · · · ·



> 浏览全部图书标签