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

Formal description of programming concepts
出版社：Berlin ; New York : Springer-Verlag, c1991.
ISBN：3540539611
出版年：1991
作者：Neuhold,Erich J.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal De
  • 作者：IFIP Working Conference on Formal Description of Programming Concepts
  • ISBN：0444851070
  • 出版社：Amsterdam ; New York : North-Holland Pub. Co., 1978.
  • 出版年：1978
...

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 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
  • 作者：Juan Quemada
  • ISBN：0444890246
  • 出版社：1990.11
...

A Formal Description of Hybrid Systems
  • 作者：Zhou Chaochen
  • 出版社：中国科学院
  • 出版年：1996
...

Towards a formal description of Ada
  • 作者：Bjørner,D.
  • ISBN：0387102833
  • 出版社：Berlin ; New York : Springer-Verlag, 1980.
  • 出版年：1980