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

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joi
出版社：Berlin ; New York : Springer-Verlag, c1993.
ISBN：0387563792
出版年：1993
作者：Bidoit,M.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wus
  • 作者：Workshop on Specification of Abstract Data Types
  • ISBN：3540544968
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Recent tends in data type specification : 5th Workshop on Specification of Abstract Data Types : sel
  • 作者：Workshop on Specification of Abstract Data Types
  • ISBN：0387503250
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data
  • 作者：Workshop on Theory and Applications of Abstract Data Types
  • ISBN：0387160779
  • 出版社：Berlin ; New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Recent trends in data type specification : selected ppaers
  • 作者：Workshop on Specification of Abstract Data Types
  • ISBN：3540616292
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

Interactive systems : design,specification, and verification : 8th International Workshop, DSV-IS 20
  • 作者：DSV-IS 2001
  • ISBN：3540428070
  • 出版社：Berlin ; New York : Springer, c2001.
  • 出版年：2001
...

Abstract data types and algorithms
  • 作者：Azmoodeh,Manoochehr
  • ISBN：0333421272
  • 出版社：Basingstoke : Macmillan Education, 1988.
  • 出版年：1988