| 000 | 00453nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 180424s9999 xx 000 0 und d | ||
| 020 | _a9.79E+12 | ||
| 084 | _a510.78 L190 | ||
| 100 | _a"Laski, Janusz" | ||
| 245 | 0 | _aSoftware Verification and Analysis | |
| 250 | _a\\201100ENGGPSX | ||
| 260 | _aSpringer India Pvt Ltd | ||
| 260 | _b2011 | ||
| 260 | _cNew Delhi | ||
| 300 | _a224p. | ||
| 500 | _aincludes index and biblioraphy | ||
| 942 | _cBK | ||
| 999 |
_c92463 _d92463 |
||