Program development by refinement : case studies using the B method

出版社:London ; New York : Springer-Verlag, c1999.
ISBN:1852330538
出版年:1999
作者:Sekerinski,E.
资源类型:图书
细分类型:西文文献
相关推荐

Practical program development using JSP : a manual of program design using the design method develop

  • 作者:Storer,Ralph,
  • ISBN:0632015454
  • 出版社:Oxford [Oxfordshire] ; Boston : Blackwell Scientific Publications, 1987.
  • 出版年:1987

Program evaluation : methods and case studies

  • 作者:Posavac,Emil J.
  • ISBN:013730367X
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1989.
  • 出版年:1989

Program evaluation : methods and case studies

  • 作者:Posavac,Emil J.
  • ISBN:013730367X 8.80
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1989.
  • 出版年:1989

Applications development using CASE tools

  • 作者:Brathwaite,Ken S.
  • ISBN:0121258807
  • 出版社:San Diego : Academic Press, c1990.
  • 出版年:1990

CASE : using software development tools

  • 作者:Fisher,Alan S.
  • ISBN:0471530425
  • 出版社:New York : Wiley, c1991.
  • 出版年:1991

CASE : using software development tools

  • 作者:Fisher,Alan S.
  • ISBN:0471637475
  • 出版社:New York : Wiley, 1988.
  • 出版年:1988