載入...
LEADER 01430cam a2200313 a 4500
008 080701s2009 flua b 001 0 eng
010 |a  2008029295 
020 |a 9781420064865 (alk. paper) 
020 |a 142006486X (alk. paper) 
035 |a (OCoLC)ocn166358442 
082 0 0 |a 004.0151  |2 22 
245 0 0 |a Process algebra for parallel and distributed processing /  |c edited by Michael Alexander, William Gardner. 
260 |a Boca Raton :  |b CRC Press,  |c c2009. 
300 |a xxii, 415 p. :  |b ill. ;  |c 25 cm. 
490 1 |a Chapman & Hall/CRC computational science series 
500 |a "A Chapman & Hall book." 
504 |a Includes bibliographical references and index. 
650 0 |a Parallel processing (Electronic computers) 
650 0 |a Electronic data processing  |x Distributed processing. 
650 0 |a Formal methods (Computer science) 
700 1 |a Alexander, Michael, 
700 1 |a Gardner, William, 
856 4 1 |u http://www.loc.gov/catdir/toc/ecip0822/2008029295.html 
942 |c BK 
830 0 |a Chapman & Hall/CRC computational science series. 
906 |a 7  |b cbc  |c orignew  |d 1  |e ecip  |f 20  |g y-gencatlg 
955 |a jf09 2008-07-01  |i jf09 2008-07-01 to sl  |a aa24 2008-07-08  |a xe11 2009-02-24 1 copy rec'd., to CIP ver.  |a xh00 2009-02-27 to USPL/STM 
999 |c 96937  |d 96937 
952 |0 0  |1 0  |4 0  |6 004_000000000000000_0151PRO  |7 0  |9 96586  |a UL  |b UL  |c ST1  |d 2011-12-21  |g 0.00  |l 0  |o 004.0151PRO  |p 87160  |r 2012-10-28  |v 5739.18  |x 32  |y BK  |k P. 69.99