Computer programming and formal systems.

類似資料

• Computer Programming and Formal Systems
  著者:: Braffort P. and Hirschberg D.
  出版事項: (1970)
• Formal models in programming
  著者:: Neuhold, E J
  出版事項: (1985)
• Formal methods of program verification and specification
  著者:: H K Berg, 等
  出版事項: (1982)
• Computer programming in basic
  著者:: Grover, P.S
  出版事項: (1985)
• Elements of computer programming
  著者:: Chhabra, P D
  出版事項: (1970)