東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Handbook of logic in computer science /

~

Abramsky, Samson, (1953-)

FindBook

Google Book

Amazon

博客來

Handbook of logic in computer science /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Handbook of logic in computer science // edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum.
其他作者:	Abramsky, Samson,
出版者:	Oxford :Clarendon Press ; : 1992-,
面頁冊數:	v. <3 > :ill. ;24 cm.
內容註:	v. 1. Background : mathematical structures -- v. 2. Background : computational structures -- v. 3. Semantic structures -- v. 4. Semantic modeling -- v. 5. Theoretical methods in specification and verification -- v. 6. Logical methods in computer science.
標題:	Computer science. -
ISBN:	019853762X (v. 3) :

Handbook of logic in computer science /
Handbook of logic in computer science /edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum. - Oxford :Clarendon Press ;1992- - v. <3 > :ill. ;24 cm.

Includes bibliographical references and indexes.

v. 1. Background : mathematical structures -- v. 2. Background : computational structures -- v. 3. Semantic structures -- v. 4. Semantic modeling -- v. 5. Theoretical methods in specification and verification -- v. 6. Logical methods in computer science.

ISBN: 019853762X (v. 3) :UK65.00

LCCN: 92000510 //r92Subjects--Topical Terms:

523869
Computer science.

LC Class. No.: QA76 / .H2785 1992

Dewey Class. No.: 004

Handbook of logic in computer science /
LDR:00869nam a2200193 a 45 001 650247
003 DLC
005 19991220102351.6
008 920427m19929999enka 000 0 eng
010 $a 92000510 //r92
020 $a 019853762X (v. 3) : $c UK65.00
035 $a dt 00007577 //r92
040 $a DLC $c DLC $d DLC $d DH
050 0 0 $a QA76 $b .H2785 1992
082 0 0 $a 004 $2 20
245 0 0 $a Handbook of logic in computer science / $c edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum.
260 $a Oxford : $a New York : $c 1992- $b Clarendon Press ; $b Oxford University Press,
300 $a v. <3 > : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references and indexes.
505 1 $a v. 1. Background : mathematical structures -- v. 2. Background : computational structures -- v. 3. Semantic structures -- v. 4. Semantic modeling -- v. 5. Theoretical methods in specification and verification -- v. 6. Logical methods in computer science.
650 $a Computer science. $3 523869
650 $a Logic, Symbolic and mathematical. $3 532051
700 $a Abramsky, Samson, $d 1953- $3 665172
700 $a Gabbay, Dov M., $d 1945- $3 665173
700 $a Maibaum, Thomas S. E., $d 1947- $3 665174

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W0018032

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA76 H2785 v.3

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入