| Record ID | marc_loc_updates/v36.i10.records.utf8:1324810:962 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:1324810:962?format=raw |
LEADER: 00962cam a22002534a 4500
001 00059583
003 DLC
005 20080307113733.0
008 000720s2001 nyu b 001 0 eng
010 $a 00059583
020 $a0387950923 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.58$b.Y56 2001
082 00 $a004/.35$221
100 1 $aYing, Mingsheng.
245 10 $aTopology in process calculus :$bapproximate correctness and infinite evolution of concurrent programs /$cMingsheng Ying.
260 $aNew York :$bSpringer,$cc2001.
300 $aviii, 220 p. ;$c24 cm.
504 $aIncludes bibliographical references (p. [213]-218) and index.
650 0 $aParallel processing (Electronic computers)
650 0 $aAlgebraic topology.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/00059583-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0816/00059583-t.html