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

Programming from specifications
出版社：New York : Prentice Hall, 1990.
ISBN：0137262256
出版年：1990
作者：Morgan,Carroll,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Generating software from specifications
  • 作者：Kastens,Uwe.
  • ISBN：0763741248 491.45 491.45
  • 出版社：Sudbury, Mass. : Jones and Bartlett Publishers, 2007.
  • 出版年：2007
...

Generating software from specifications
  • 作者：Kastens,Uwe.
  • ISBN：0763741248
  • 出版社：Sudbury, Mass. : Jones and Bartlett Publishers, 2007.
  • 出版年：2007
...

An introduction to programming with specifications : a mathematical approach
  • 作者：Kubiak,Ryszard.
  • ISBN：0124276202
  • 出版社：London ; San Diego : Academic Press, c1991.
  • 出版年：1991
...

MEMS Lorentz force magnetometers : from specifications to product
  • 作者：Buffa,Cesare,
  • ISBN：9783319594118
  • 出版社：Cham, Switzerland : Springer, 2018.
  • 出版年：2018
...

Program derivation : the development of programs from specifications
  • 作者：Dromey,R. G.,
  • ISBN：0201416247 15.50
  • 出版社：Sydney ; Reading, Mass. : Addison-Wesley, c1989.
  • 出版年：1989
...

Program construction : calculating implementations from specifications
  • 作者：Backhouse,Roland C.,
  • ISBN：0470848820
  • 出版社：Chichester, West Sussex, England : Wiley, c2003.
  • 出版年：2003