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

Program development by specification and transformation : the PROSPECTRA methodology language famil
出版社：Berlin ; New York : Springer-Verlag, c1993.
ISBN：354056733X
出版年：1993
作者：Hoffmann,Berthold,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

SpecC: specification language and methodology
  • 作者：Gajski,Daniel D.,
  • ISBN：0792378229
  • 出版社：Boston : Kluwer Academic Publishers, c2000.
  • 出版年：2000
...

Algorithmic language and program development
  • 作者：Bauer,Friedrich Ludwig,
  • ISBN：0387111484
  • 出版社：Berlin : Springer-Verlag, 1982.
  • 出版年：1982
...

Algorithmic language and program development
  • 作者：Bauer,Friedrich Ludwig,
  • ISBN：2497283
  • 出版社：Berlin ; New York : Springer-Verlag, 1981.
  • 出版年：1981
...

Denotational semantics : a methodology for language development
  • 作者：Schmidt,David A.,
  • ISBN：0205089747
  • 出版社：Boston : Allyn and Bacon, 1986.
  • 出版年：1986
...

Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on
  • 作者：Meertens,L.G.L.T.
  • ISBN：0444702237
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and
  • 出版年：1987
...

A Methodology,Specification Language,and Automated Suppprt Environment For Computer-Aided Design Sys
  • 作者：Worley
  • ISBN：CNY294.50
  • 出版社：Ann Arbor,Michigan U-M-I Dissertation Information Service 1986
  • 出版年：1986