| Record ID | marc_loc_updates/v36.i10.records.utf8:13630837:942 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:13630837:942?format=raw |
LEADER: 00942cam a22002534a 4500
001 2001043153
003 DLC
005 20080306083255.0
008 010725s2002 mau b 001 0 eng
010 $a 2001043153
020 $a081764220X (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76$b.K723 2002
082 00 $a004$221
100 1 $aKrantz, Steven G.$q(Steven George),$d1951-
245 10 $aHandbook of logic and proof techniques for computer science /$cSteven G. Krantz.
260 $aBoston :$bBirkhauser ;$aNew York :$bSpringer,$c2002.
300 $axix, 245 p. ;$c24 cm.
504 $aIncludes bibliographical references (p. 231-236) and index.
650 0 $aComputers.
650 0 $aElectronic data processing.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0812/2001043153-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0812/2001043153-t.html