形式语义学引论

收藏
  • 【作者】周巢尘,詹乃军著
  • 【关键词】形式语义学 研究
  • 【出版社】科学出版社
  • 【出版日期】2017
  • 【ISBN】978-7-03-053383-8
  • 【中图分类号】 TP301.2
  • 【内容简介】本书简单介绍程序的操作语义、指称语义和公理语义。全书共7章:第1章介绍操作语义,第2章介绍指称语义,第3章介绍公理语义,第4介绍过程调用的形式语义,第5章介绍非确定程序的形式语义,第6章介绍并发程序的形式语义,第7章介绍程序的时态语义。全部展开
  • 【页码】150页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 余杭区图书馆分馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。