Lectures on the logic of computer programming [electronic resource]

• 作者： Manna, Zohar.
• 其他題名：
  • CBMS-NSF regional conference series in applied mathematics
• 出版： Philadelphia, Pa. : Society for Industrial and Applied Mathematics
• 叢書名： CBMS-NSF regional conference series in applied mathematics31.
• 主題： Computer programming , Logic, Symbolic and mathematical
• ISBN： 0898711649 (e-book)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Bibliography: p. 49.
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: