Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal De

出版社:Amsterdam ; New York : North-Holland Pub. Co., 1978.
ISBN:0444851070
出版年:1978
作者:IFIP Working Conference on Formal Description of Programming Concepts
资源类型:图书
细分类型:西文文献
相关推荐

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Forma

  • 作者:IFIP Working Conference on Formal Description of Programming Concepts
  • ISBN:0444866191
  • 出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. an
  • 出版年:1983

Formal description of programming concepts

  • 作者:Neuhold,Erich J.
  • ISBN:3540539611
  • 出版社:Berlin ; New York : Springer-Verlag, c1991.
  • 出版年:1991

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 language description languages for computer programming : proceedings

  • 作者:IFIP Working Conference on Formal Language Description Languages
  • 出版社:Amsterdam : North-Holland Pub. Co., 1966.
  • 出版年:1966

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

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

Programming concepts and methods : proceedings of the IFIP Working Group 2.2-2.3 Working Conference

  • 作者:IFIP Working Group 2.2-2.3 Working Conference on Programming
  • ISBN:0444885455
  • 出版社:Amsterdam : North-Holland, 1990
  • 出版年:1990