System description methodologies : proceedings of the IFIP TC2 Conference on System Description Meth

出版社:Amsterdam ; New York : North-Holland : New York, N.Y. : Sole distributors for the U.S.A. and Canada,
ISBN:0444877312
出版年:1985
作者:IFIP TC2 Conference on System Description Methodologies
资源类型:图书
细分类型:西文文献
相关推荐

Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Descrip

  • 作者:IFIP TC-2 Special Working Conference on Data Base Description
  • ISBN:0444108629
  • 出版社:Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
  • 出版年:1975

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

Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 working conference on

  • 作者:IFIP TC 2/WG 2.7 Working Conference on Engineering for Human-Computer Interaction
  • ISBN:0412721805
  • 出版社:London : Chapman & Hall, c1996.
  • 出版年:1996

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstrac

  • 作者:IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
  • ISBN:0444878882
  • 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and
  • 出版年:1985

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference

  • 作者:Diaz,Michel
  • ISBN:0444892826
  • 出版社:Amsterdam : North-Holland, 1993.
  • 出版年:1993

Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on

  • 作者:IFIP TC 2/WG 2.7 Working Conference on Engineering for Human-Computer Interaction
  • ISBN:0444899049
  • 出版社:Amsterdam ; New York : North-Holland, 1992.
  • 出版年:1992