| 000 | 00404nam a2200157 4500 | ||
|---|---|---|---|
| 008 | 160616s2010 000 0 | ||
| 245 |
_aLogical Analysis of Hybrid Systems _bProving Theorems for Complex Dynamics |
||
| 100 | _aPlatzer, Andre | ||
| 260 | _aNew York | ||
| 260 | _bSpringer | ||
| 260 | _c2010 | ||
| 300 | _a426 | ||
| 020 | _a9783642145087 | ||
| 942 |
_cBK _2BK25186 |
||
| 080 | _a681.3 PLA | ||
| 999 |
_c25186 _d25186 |
||