HEA|  |00783nam0 2200205   45  
000|  |246124
001|  |2004pj0339
005|  |200924210654.0
011|  |▼a0934-5043▼d0
092|  |▼aGE▼b738E0026
092|  |▼aGE
100|  |▼a20040115a    9999km y0chiy0120    ea
101|0 |▼aeng
102|  |▼aGE
110|  |▼aagaz   0yu0
200|1 |▼aFormal Aspects of Computing
205|  |▼a原版
690|  |▼a738
801| 0|▼aCN▼c20200924
905|  |▼a801▼b000410018112▼b000410018-
   |  |091▼b000500509501▼b00050054636-
   |  |2▼b000410012602▼b000500561668▼-
   |  |b000500530317▼b000410010560▼b0-
   |  |00410006766▼b000410006731▼b000-
   |  |410002436▼b000500548012▼b00041-
   |  |0035442▼b000500513289▼b0004100-
   |  |01663▼b000410035376▼b000410012-
   |  |933▼b000410032665▼b00041000503-
   |  |8▼b000410032048▼b000410032049▼-
   |  |b000221876214▼b000221876717▼b0-
   |  |00221879966▼b000221879662▼d738