TY - BOOK ID - 7057710 TI - Software reliability : achievement and assessment PY - 1987 SN - 063201573X 9780632015733 PB - Oxford: Boston: Blackwell, DB - UniCat KW - Computer software KW - Reliability KW - -681.3*D24 KW - 681.3*D45 KW - Software, Computer KW - Computer systems KW - Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) KW - 681.3*D45 Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) KW - 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - 681.3*D24 KW - Computer software - Reliability UR - https://www.unicat.be/uniCat?func=search&query=sysid:7057710 AB - ER -