|
|
|
|
| LEADER |
01352cam a22004337a 4500 |
| 001 |
BIBLO-46540 |
| 003 |
AR-BaUEN |
| 005 |
20201111150533.0 |
| 008 |
130503s2001 nyu||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 9781441928764
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 681.362
|
| 100 |
1 |
|
|a Peled, Doron A.
|
| 245 |
1 |
0 |
|a Software reliability methods
|
| 260 |
|
|
|a New York :
|b Springer,
|c 2001
|
| 300 |
|
|
|a xix, 331 p.
|
| 490 |
0 |
|
|a Texts in computer science
|
| 505 |
0 |
0 |
|g 1.
|t Introduction
|
| 505 |
0 |
0 |
|g 2.
|t Preliminaries
|
| 505 |
0 |
0 |
|g 3.
|t Logic and Theorem Proving
|
| 505 |
0 |
0 |
|g 4.
|t Modeling Software Systems
|
| 505 |
0 |
0 |
|g 5.
|t Formal Specification
|
| 505 |
0 |
0 |
|g 6.
|t Automatic Verification
|
| 505 |
0 |
0 |
|g 7.
|t Deductive Software Verification
|
| 505 |
0 |
0 |
|g 8.
|t Process Algebra and Equivalences
|
| 505 |
0 |
0 |
|g 9.
|t Software Testing
|
| 505 |
0 |
0 |
|g 10.
|t Combining Formal Methods
|
| 505 |
0 |
0 |
|g 11.
|t Visualization
|
| 505 |
0 |
0 |
|g 12.
|t Conclusions
|
| 505 |
0 |
0 |
|t References
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a INGENIERIA DE SOFTWARE
|
| 653 |
1 |
0 |
|a DISEÑO DE SOFTWARE
|
| 653 |
1 |
0 |
|a CONFIABILIDAD DEL SOFTWARE
|
| 650 |
1 |
7 |
|2 spines
|a PROGRAMAS DE COMPUTADOR
|
| 650 |
1 |
7 |
|2 spines
|a CONTROL DE CALIDAD
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 36423
|