时序逻辑程序设计与软件工程. 上册 时序逻辑语言

出版社:科学出版社
ISBN:7030070062
出版年:1999
作者:唐稚松
学科:电技术、电子技术
资源类型:图书
细分类型:中文文献
相关推荐

时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具

  • 作者:唐稚松
  • ISBN:7030099281
  • 出版社:科学出版社
  • 出版年:2002

XYZ系统研制的背景与经历 :《时序逻辑程序设计与软件工程》序

  • 作者:唐稚松
  • 出版社:中国科学院
  • 出版年:1997

Prolog逻辑程序设计及应用

  • 作者:周立柱
  • ISBN:7302008000
  • 出版社:清华大学出版社
  • 出版年:1991

Micro-PROLOG逻辑程序设计语言

  • 作者:克拉克
  • 出版社:清华大学出版社
  • 出版年:1987

逻辑程序设计语言及其实现技术

  • 作者:王鼎兴
  • ISBN:7302018413
  • 出版社:清华大学出版社
  • 出版年:1996

MICRO-PROLOG逻辑程序设计语言

  • 作者:克拉克
  • 出版社:清华大学出版社
  • 出版年:1987