| 000 | 00410nam a2200157 4500 | ||
|---|---|---|---|
| 008 | 160616s2007 000 0 | ||
| 245 |
_aReactive systems _bmodeling specification and verification |
||
| 100 | _aAceto, Luca, etal | ||
| 260 | _aCambridge | ||
| 260 | _bCambridge University Press | ||
| 260 | _c2007 | ||
| 300 | _a284 | ||
| 020 | _a9780521875462 | ||
| 942 |
_cBK _2BK23949 |
||
| 080 | _a681.3 ACE | ||
| 999 |
_c23949 _d23949 |
||