The logical basis for computer programming

The logical basis for computer programming

書誌詳細
第一著者: Manna, Zohar
その他の著者: Waldinger, Richard
フォーマット: 図書
言語:English
出版事項: Reading, Mass. Addison-Wesley c1985-c1990.
シリーズ:Addison-Wesley series in computer science
主題:
Computer programming.
Logic, Symbolic and mathematical.