| 000 | 00775nam a22002417a 4500 | ||
|---|---|---|---|
| 008 | 170103b2011 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9788132231653 | ||
| 082 | _a005.14 ALM-J | ||
| 100 | _aAlmeida, Jose Bacelar. | ||
| 245 |
_a Rigorous software development : _ban introduction to program verification / _cJose Bacelar Almeida...[et.al.]., |
||
| 260 |
_aIndia _bSpringer India _c2011 |
||
| 300 | _a263 p. | ||
| 365 |
_aINR _b1195.00 |
||
| 650 | _aComputer software--Verification | ||
| 650 | _aComputer software--Development | ||
| 650 | _aLogic design | ||
| 650 | _aSoftware engineering | ||
| 650 | _aAlgebra--Data processing | ||
| 650 | _aComputer science | ||
| 700 | _aFrade, Maria Joao. | ||
| 700 | _aPinto, Jorge Sousa. | ||
| 700 | _ade Sousa, Simao Melo | ||
| 999 |
_c25402 _d25402 |
||