| 000 | 00553nam a22001815i 4500 | ||
|---|---|---|---|
| 999 |
_c52249 _d52249 |
||
| 008 | 170307s2017 nyu 000 0 eng | ||
| 020 | _a9783319555584 (alk. paper) | ||
| 041 | _aeng | ||
| 080 |
_a681.3 _bGOR |
||
| 100 | _aGorrieri, Roberto | ||
| 245 | 0 | 0 |
_aProcess algebras for Petri nets : _bthe alphabetization of distributed systems / |
| 260 |
_aNew York _bSpringer _c2017 |
||
| 300 | _axiii, 302p. | ||
| 490 | _aMonographs in theoretical computer science an EATCS series | ||
| 500 | _aHardcover | ||
| 690 | _aComputer Science | ||
| 942 |
_cBK _01 |
||