Manna, Zohar
QRcode
자료유형 | 도서 |
---|---|
서명/저자사항 | The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming / Zohar Manna,Richard Waldinger. |
개인저자 | Manna, Zohar. Waldinger, Richard. Manna, Zohar. |
발행사항 | Reading, Mass. : Addison-Wesley Pub. Co., c1993. |
형태사항 | xiv, 717 p. : ill. ; 24 cm. |
가격정보 | \23000 |
ISBN | 0201548860 |
일반주기 |
Condensed and simplified version of the origi nal work.
|
서지주기 | Includes bibliographical references (p. [673]-677) and indexes. |
일반주제명 | Logic, Symbolic and mathematical. Electronic digital computers --Programming. |
비통제주제어 | Logic programming |
분류기호 | 566.8711 |
언어 | 한국어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가