醒吾科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The deductive foundations of computer programming

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	MannaZohar,
合作者:	WaldingerRichard,
出版地:	Reading, Mass.
出版者:	Addison-Wesley Pub.;
出版年:	c1993
版本:	1st ed.
面頁冊數:	717 p.ill. : 24 cm.;
標題:	Logic,Symbolic and mathematical -
標題:	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 - 1st ed.. - Reading, Mass. : Addison-Wesley Pub., c1993. - 717 p. ; ill. ; 24 cm..
Includes bibliographical references and indexes.
ISBN 0-201-54886-0
Logic,Symbolic and mathematicalElectronic digital computers -- Programming

Waldinger, Richard

The deductive foundations of computer programming
LDR:00534nam0 2200181 i 450 001 123788
005 20120618124928.0
010 1 $a 0-201-54886-0 $d NT200
100 $a 20071107d1993 m y0engy09 b
101 1 $a eng
102 $a us
105 $a z z 000yy
200 1 $a The deductive foundations of computer programming $f Zohar Manna $g Richard Waldinger
205 $a 1st ed.
210 $a Reading, Mass. $d c1993 $c Addison-Wesley Pub.
215 1 $a 717 p. $c ill. $d 24 cm.
320 $a Includes bibliographical references and indexes
606 $a Logic,Symbolic and mathematical $3 106275 $3 221515
606 $a Electronic digital computers $x Programming $3 38268 $3 219776
676 $a 519.7 $v 21
700 $a Manna $b Zohar $3 106273
701 $a Waldinger $b Richard $3 106274
809 $d 519.7 $e M281 $p BOOK

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

尋書單

典藏地名稱

館藏流通類別

00208196

4樓西文圖書區

一般圖書

一般圖書

519.7 M281

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入