| 000 | 00536nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 210716s2015 xx 000 0 und d | ||
| 020 | _a9788132231653 | ||
| 041 | _aeng | ||
| 082 | _a005.304 ALMJ | ||
| 100 | _aAlmeida, Jose Bacelar; Frade, Maria Joao; Pinto, Jorge Sousa; Sousa, Simao Melo De. | ||
| 245 |
_aRigorous software development: an introduction to program verification. _bAn introduction to program verification. |
||
| 250 | _a1 | ||
| 260 |
_aNew Delhi _bSpringer _c2015 |
||
| 300 | _axii,263 | ||
| 650 | _aSoftware Testing | ||
| 999 |
_c194596 _d194596 |
||