| 000 | 01091nam a2200241Ia 4500 | ||
|---|---|---|---|
| 003 | MX-SIABUC | ||
| 005 | 20240716171917.0 | ||
| 020 | _a978-0-85729-017-5 (pasta rústica) | ||
| 082 | _a005.14 R572r 2011 | ||
| 100 | _aBacelar Almeida, José | ||
| 245 |
_aRigorous software development; _bAn introduction to program verification / _cJosé Bacelar Almeida et.,al. |
||
| 260 |
_aNew York (State) : _bSpringer, _c2011 |
||
| 300 |
_axii,263 p. : _bil. ; _c16 x 24 cm. |
||
| 500 | _aIncluye índice. | ||
| 505 | _aIntroduction. --An overview of formal methods tools and techniques. --Propositional logic. --First-order logic. --Hoare Logic. --Generating verification conditions. --Safety properties. --procedures and contracts. --Specifying C programs. --Verifying C programs. | ||
| 650 | 1 | 7 | _aINGENIERÍA DE SOFTWARE |
| 650 | _aDISEÑO LÓGICO | ||
| 650 | _aÁLGEBRA -- PROCESAMIENTO DE DATOS | ||
| 700 | _aJoao Frade, Maria. Coautora | ||
| 700 | _aSousa Pinto, Jorge. Coautor | ||
| 700 | _aMelo de Sousa, Simao. Coautor. | ||
| 008 | 5200302011 nyuA 8100003300eng00 | ||
| 999 |
_c3574 _d3574 |
||