國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The deductive foundations of compute...

~

Manna, Zohar.

The deductive foundations of computer programming /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The deductive foundations of computer programming /Zohar Manna, Richard Waldinger.
作者:	Manna, Zohar.
其他作者:	Waldinger, Richard.
出版者:	Reading, Mass. :Addison-Wesley Pub. Co.,1993.
面頁冊數:	xiv,717 p.;24 cm.
標題:	Logic, Symbolic and mathematical.
ISBN:	0201548860

The deductive foundations of computer programming /
Manna, Zohar.

The deductive foundations of computer programming /Zohar Manna, Richard Waldinger. - Reading, Mass. :Addison-Wesley Pub. Co.,1993. - xiv,717 p.;24 cm.

Includes bibliographical references and indexes.

ISBN: 0201548860

LCCN: 90001235Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA76.6 / M35595

The deductive foundations of computer programming /
LDR:00537cam 22001818a 450 001 157440
005 19920810120000.8
005 920810120000.8
008 090528s1993 mau b 00110 eng
010 $a 90001235
020 $a 0201548860
035 $a 00106491
040 $a DLC $c DLC $d DLC
050 4 $a QA76.6 $b M35595
100 $a Manna, Zohar. $3 217312
245 1 4 $a The deductive foundations of computer programming / $c Zohar Manna, Richard Waldinger.
260 0 $a Reading, Mass. : $c 1993. $b Addison-Wesley Pub. Co.,
263 $a 9312.
300 $a xiv,717 p.; $c 24 cm.
504 $a Includes bibliographical references and indexes.
650 $a Logic, Symbolic and mathematical. $3 180452
650 $a Electronic digital computers $x Programming. $3 216146
700 $a Waldinger, Richard. $3 217311

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

320000257149

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.6 M35595 1993

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入