語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
The deductive foundations of compute...
~
Manna, Zohar
The deductive foundations of computer programming
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
Manna, Zohar
合作者:
Waldinger, Richard
出版地:
Mass.
出版者:
Addison-Wesley Publishing Company;
出版年:
c.1993
面頁冊數:
xiv,717p.24cm.;
標題:
Electronic digital computers - Programming. -
標題:
Logic, Symbolic and mathematical. -
ISBN:
0-201-54886-0
The deductive foundations of computer programming
Manna, Zohar
The deductive foundations of computer programming
= : / Zohar Manna,Richard Waldinger ; - Mass. : Addison-Wesley Publishing Company, c.1993. - xiv,717p. ; 24cm..
Includes bibliographical references(p.673) and indexes..
ISBN 0-201-54886-0
Electronic digital computersLogic, Symbolic and mathematical. -- Programming.
Waldinger, Richard
The deductive foundations of computer programming
LDR
:00515cam2 2200169 050
001
21194
005
20100520150106.0
009
00111824
010
1
$a
0-201-54886-0
$b
bound
100
$a
20100527d1993 m y0engy09 e
101
0
$a
eng
105
$a
y a 001yy
200
1
$a
The deductive foundations of computer programming
$f
Zohar Manna,Richard Waldinger
$d
$e
$g
210
$a
Mass.
$c
Addison-Wesley Publishing Company
$d
c.1993
215
1
$a
xiv,717p.
$d
24cm.
320
$a
Includes bibliographical references(p.673) and indexes.
606
$a
Electronic digital computers
$x
Programming.
$2
lc
$3
27659
606
$a
Logic, Symbolic and mathematical.
$2
lc
$3
32408
676
$a
519.7
$b
M282
700
1
$a
Manna, Zohar
$3
32406
701
1
$a
Waldinger, Richard
$3
32407
801
0
$a
cw
$c
20020711
$g
CCR
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
130113
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
519.7/M282
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入