東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Handbook of logic and proof techniqu...

~

Krantz, Steven G. (1951-)

Linked to FindBook

Google Book

Amazon

博客來

Handbook of logic and proof techniques for computer science /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Handbook of logic and proof techniques for computer science // Steven G. Krantz.
Author:	Krantz, Steven G.
Published:	Boston :Birkhauser ; : c2002.,
Description:	xix, 245 p. :ill. ;25 cm.
Subject:	Computers. -
ISBN:	081764220X (Boston) :

Handbook of logic and proof techniques for computer science /
Krantz, Steven G.1951-

Handbook of logic and proof techniques for computer science /Steven G. Krantz. - Boston :Birkhauser ;c2002. - xix, 245 p. :ill. ;25 cm.

Includes bibliographical references (p. 231-236) and index.

ISBN: 081764220X (Boston) :EUR54.90

LCCN: 2001043153Subjects--Topical Terms:

544777
Computers.

LC Class. No.: QA76 / .K723 2002

Dewey Class. No.: 004

Handbook of logic and proof techniques for computer science /
LDR:00611cam a2200193 a 45 001 726906
005 20070911
008 070906s2002 maua b 001 0 eng
010 $a 2001043153
020 $a 081764220X (Boston) : $c EUR54.90
020 $a 376434220X (Basel)
035 $a asw96000018
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a QA76 $b .K723 2002
082 0 0 $a 004 $2 21
100 $a Krantz, Steven G. $q (Steven George), $d 1951- $3 523908
245 1 0 $a Handbook of logic and proof techniques for computer science / $c Steven G. Krantz.
260 $a Boston : $a New York : $c c2002. $b Birkhauser ; $b Springer,
300 $a xix, 245 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references (p. 231-236) and index.
650 $a Computers. $3 544777
650 $a Electronic data processing. $3 520749

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0152270

六樓西文書區HC-Z(6F Western Language Books)

01.外借(書)_YB

一般圖書

QA76 K723 2002

一般使用(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