醒吾科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The deductive foundations of computer programming

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	MannaZohar,
合作者:	WaldingerRichard,
出版地:	United States
出版者:	Addison Wesley;
出版年:	c1993
面頁冊數:	717 p.24 cm.;
集叢名:	Includes bibliographical referencs(p.673)and indexes
標題:	Logic,Symbolic and mathemaatical. -
標題:	Electronic digital computers - Programming -
ISBN:	0-201-54886-0

The deductive foundations of computer programming
Manna, Zohar

The deductive foundations of computer programming / Zohar Manna,Richard Waldinger. - United States : Addison Wesley, c1993. - 717 p. ; 24 cm.. - (Includes bibliographical referencs(p.673)and indexes).
ISBN 0-201-54886-0
Logic,Symbolic and mathemaatical.Electronic digital computers -- Programming

Waldinger, Richard

The deductive foundations of computer programming
LDR:00417nam0 2200133 i 450 001 124634
005 20120618114400.0
010 $a 0-201-54886-0 $b hbk.
100 $a 20071107d1993 yamy0 b
101 $a eng
102 $a us
200 $a The deductive foundations of computer programming $f Zohar Manna,Richard Waldinger.
210 $a United States $d c1993 $c Addison Wesley
215 $a 717 p. $d 24 cm.
225 $a Includes bibliographical referencs(p.673)and indexes
606 $a Logic,Symbolic and mathemaatical. $3 107810 $3 221076
606 $a Electronic digital computers $x Programming $3 38268 $3 219776
700 $a Manna $b Zohar $3 106273
701 $a Waldinger $b Richard $3 106274

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

尋書單

典藏地名稱

館藏流通類別

00203917

4樓西文圖書區

一般圖書

一般圖書

519.7 M282

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入