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

Paragon : a language using type hierarchies for the specification implementation and selection of
出版社：Berlin ; New York : Springer-Verlag, c1985.
ISBN：0387152121
出版年：1985
作者：Sherman,Mark Steven.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

CASL user manual : introduction to using the Common algebraic specification language
  • 作者：Bidoit,M.
  • ISBN：354020766X
  • 出版社：Berlin ; New York : Springer, 2004.
  • 出版年：2004
...

Language Hierarchies and Interfaces
  • 作者：F.L.Bauer
  • ISBN：3540079947
  • 出版社：.01
...

CASL user manual : introduction to using the Common algebraic specification language CASL
  • 作者：Bidoit,M.
  • ISBN：354020766X
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

The management guide to the selection and implementation of computer systems : a professional approa
  • 作者：Robb,Allan F.
  • ISBN：1855541637
  • 出版社：Manchester, England : NCC Blackwell, 1992.
  • 出版年：1992
...

Software specification methods : an overview using a case study
  • 作者：Frappier,Marc,
  • ISBN：1852333537
  • 出版社：London ; New York : Springer, c2001.
  • 出版年：2001
...

Understanding Z : a specification language and its formal semantics
  • 作者：Spivey,J. M.
  • ISBN：0521054141
  • 出版社：Cambridge ; New York : Cambridge University Press, 2008.
  • 出版年：2008