| 000 | 00757nam a2200217Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20120705094405.0 | ||
| 008 | 120327s9999 xx 000 0 und d | ||
| 020 | _a9780470027882 | ||
| 040 |
_aAtlantic Pub. & Dis. _bEnglish |
||
| 082 | _a511.1 FIS | ||
| 100 |
_aFisher, Michael _91786 |
||
| 245 |
_aIntroduction to Practical Formal Methods Using Temporal Logic _bAn Introduction _cMichael Fisher |
||
| 260 |
_bWiley India _aNew Delhi _c2011 |
||
| 300 | _avi; 353p. | ||
| 350 | _a3909 | ||
| 655 |
_bMathematics _bTemporal Logic _bSpecification _91787 |
||
| 942 |
_cBOOK _2ddc |
||
| 942 |
_k511.3 FIS _2ddc _cBOOK |
||
| 999 |
_c4437 _d4437 |
||