The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

書目詳細資料
主要作者: Manna, Zohar
其他作者: Waldinger, Richard
格式: 圖書
語言:English
出版: Reading, Mass. Addison-Wesley c1993.
主題:
Electronic digital computers > Programming.
Logic, Symbolic and mathematical.