東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Handbook of logic in computer science /

~

Abramsky, Samson, (1953-)

Linked to FindBook

Google Book

Amazon

博客來

Handbook of logic in computer science /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Handbook of logic in computer science // edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum.
other author:	Abramsky, Samson,
Published:	Oxford :Clarendon Press ; : 1992-,
Description:	v. <3 > :ill. ;24 cm.
[NT 15003449]:	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.
Subject:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0018032

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

01.外借(書)_YB

一般圖書

QA76 H2785 v.3

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login