SpecC: specification language and methodology

出版社:Boston : Kluwer Academic Publishers, c2000.
ISBN:0792378229
出版年:2000
作者:Gajski,Daniel D.,
资源类型:图书
细分类型:西文文献
相关推荐

Program development by specification and transformation : the PROSPECTRA methodology, language famil

  • 作者:Hoffmann,Berthold,
  • ISBN:354056733X
  • 出版社:Berlin ; New York : Springer-Verlag, c1993.
  • 出版年:1993

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

A Methodology,Specification Language,and Automated Suppprt Environment For Computer-Aided Design Sys

  • 作者:Worley
  • 出版社:Ann Arbor,Michigan U-M-I Dissertation Information Service 1986
  • 出版年:1986

Language Design and Programming Methodology

  • 作者:J.M.Tobias
  • ISBN:3540097457
  • 出版社:0000.00

Current trends in programming methodology : Software specification and design

  • 作者:Yeh,Raymond T.
  • ISBN:0131957015
  • 出版社:Englewood Cliffs : Prentice-Hall, c1977
  • 出版年:1977

The Java language specification = Java语言规范

  • 作者:Gosling,James,
  • ISBN:711118839X
  • 出版社:北京 : China Machine Press, 2006.
  • 出版年:2006