|
|
|
|
| LEADER |
00774nam a2200205 a 4500 |
| 001 |
501480 |
| 005 |
20171111225928.0 |
| 008 |
960226s1996 nyua b 000 0 eng |
| 020 |
|
|
|a 3540609156 (alk. paper)
|
| 050 |
|
|
|a QA76.9.D5
|b M645 1996
|
| 082 |
|
|
|2 20
|a 004/.36/015113
|
| 100 |
1 |
|
|a Moller, Faron,
|d 1962-
|
| 245 |
1 |
|
|a Logics for concurrency :
|b structure versus automata /
|c Faron Moller, Graham Birtwistle.
|
| 260 |
1 |
|
|a Berlin :
|b Springer,
|c c1996.
|
| 300 |
1 |
|
|a xi, 266 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
1 |
|
|a Includes bibliographical references.
|
| 650 |
1 |
|
|a Electronic data processing
|x Distributed processing
|
| 650 |
1 |
|
|a Parallel processing (Electronic computers)
|
| 700 |
1 |
|
|a Birtwistle, G. M.
|q (Graham M.)
|
| 952 |
|
|
|a GrThPMO
|b 59afe4fd6c5ad17d7e5a00e1
|c 952a
|d 9528
|e -
|t 1
|x m
|z Books
|
