東華大學圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The deductive foundations of compute...

Waldinger, Richard.

FindBook

Amazon

博客來

The deductive foundations of computer programming : = a one-volume version of The logical basis for computer programming /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The deductive foundations of computer programming :/ Zohar Manna, Richard Waldinger.
其他題名:	a one-volume version of The logical basis for computer programming /
作者:	Manna, Zohar.
其他作者:	Waldinger, Richard.
出版者:	Reading, Mass. :Addison-Wesley Pub. Co., : c1993.,
面頁冊數:	xiv, 717 p. :ill. ;24 cm.
附註:	Condensed and simplified version of the original work.
標題:	Electronic digital computers - Programming. -
ISBN:	0201548860

The deductive foundations of computer programming : = a one-volume version of The logical basis for computer programming /
Manna, Zohar.

The deductive foundations of computer programming :a one-volume version of The logical basis for computer programming /Zohar Manna, Richard Waldinger. - Reading, Mass. :Addison-Wesley Pub. Co.,c1993. - xiv, 717 p. :ill. ;24 cm.

Condensed and simplified version of the original work.

Includes bibliographical references (p. [673]-677) and indexes.

ISBN: 0201548860

LCCN: 90001235Subjects--Topical Terms:

646576
Electronic digital computers
--Programming.

LC Class. No.: QA76.6 / .M35595 1993

Dewey Class. No.: 519.7

The deductive foundations of computer programming : = a one-volume version of The logical basis for computer programming /
LDR:00709nam a2200193 a 45 001 650887
003 DLC
005 19930409132625.6
008 900824s1993 maua b 00110 eng
010 $a 90001235
020 $a 0201548860
035 $a dt 00006729
040 $a DLC $c DLC $d DLC
050 0 0 $a QA76.6 $b .M35595 1993
082 0 0 $a 519.7 $2 20
100 $a Manna, Zohar. $3 666466
245 1 4 $a The deductive foundations of computer programming : $b a one-volume version of The logical basis for computer programming / $c Zohar Manna, Richard Waldinger.
260 0 $a Reading, Mass. : $c c1993. $b Addison-Wesley Pub. Co.,
300 $a xiv, 717 p. : $b ill. ; $c 24 cm.
500 $a Condensed and simplified version of the original work.
504 $a Includes bibliographical references (p. [673]-677) and indexes.
650 $a Electronic digital computers $x Programming. $3 646576
650 $a Logic, Symbolic and mathematical. $3 532051
700 $a Waldinger, Richard. $3 666464
700 $a Manna, Zohar. $t Logical basis for computer programming. $3 666465