Theory of program structures : schemes, semantics, verification /

類似資料

• Recursive program schemes : semantics and proof theory /
  著者:: Roever, W.-P. de
  出版事項: (1976)
• Recursive techniques in programming
  著者:: Barron, D. W. (David William), 1935-
  出版事項: (1968)
• Recursive programming techniques /
  著者:: Burge, William H.
  出版事項: (1975)
• First-order dynamic logic /
  著者:: Harel, David, 1950-
  出版事項: (1979)
• A connotational theory of program structure /
  著者:: Royer, James S.
  出版事項: (1987)