| 000 | 01240nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 140223b1998 xxu||||| |||| 00| 0 eng d | ||
| 020 |
_a9783540627524 _c0.00 |
||
| 082 |
_a004.36 _bREI |
||
| 100 | _aReisig, Wolfgang | ||
| 245 | _aElements of Distributed Algorithms: Modeling and Analysis with Petri Nets | ||
| 260 |
_aNew York _bSpringer Berlin Heidelberg _c1998 |
||
| 300 | _a302p | ||
| 500 | _aPart - A: Elementary System Models Elementary Concepts Case Studies Part - B: Advanced System Models Advanced Concepts Case Studies Case Studies Continued: Acknowledged Messages Case Studies Continued: Network Algorithms Part - C: Analysis of Elementary System Models State Properties of Elementary System Nets Interleaved Progress of Elementary System Nets Concurrent Progress of Elementary System Nets Part - D: Analysis of Advanced System Models State Properties of System Nets Interleaved Progress of System Nets Concurrent Progress of System Nets Formal Analysis of Case Studies | ||
| 600 | _aComputer Engineering | ||
| 890 | _aUSA | ||
| 995 |
_AREI _B005892 _CCEE-PG0 _D1469.60 _E0 _F049 _G95877 _H0 _I0.00 _J1985.94 26% _L20070717 _M01 _UC _W20080226 _XHimanshu Book Co. _ZGeneral |
||
| 999 |
_c45625 _d45625 |
||