登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Reasoning about program transformations : imperative programming and flow of data
出版社：New York : Springer, c2003.
ISBN：0387953914
出版年：2003
作者：Collard,Jean-François.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Control Flow and Data Flow:Concepts of Distributed Programming
  • 作者：M.Broy
  • ISBN：3540139192
  • 出版社：0000.00
...

Control flow and data flow: concepts of distributed programming
  • 作者：Broy,Manfred.
  • ISBN：0387170820
  • 出版社：Berlin: Springer-Verlag, 1986.
  • 出版年：1986
...

Reasoning about knowledge
  • 作者：Fagin R.
  • ISBN：0262562006
  • 出版社：Cambridge, Mass. : MIT Press, 2003.
  • 出版年：2003
...

Reasoning about knowledge
  • 作者：Fagin R.
  • ISBN：0262562006 236.10
  • 出版社：Cambridge, Mass. : MIT Press, 2003.
  • 出版年：2003
...

Reasoning about parallel architectures
  • 作者：Collier,William W.
  • ISBN：0137671873
  • 出版社：Englewood Cliffs, N.J. : Prentice Hall, c1992.
  • 出版年：1992
...

Advances in intelligent data analysis : reasoning about data : Second International Symposium, IDA-9
  • 作者：IDA-97
  • ISBN：3540633464
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997