Handbook of software reliability engineering
Material type: TextPublication details: Nueva York : McGraw-Hill, c1996Edition: 1st edDescription: xxv, 850 p. ; 23 cmISBN:- 0070394008
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Libros | Biblioteca Fac.Informática | D.2.4 HAN (Browse shelf(Opens below)) | Available | DIF-00031 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
D.2.4 FRA Program verification | D.2.4 FRA Fairness | D.2.4 HAI Verifying concurrent processes using temporal logic | D.2.4 HAN Handbook of software reliability engineering | D.2.4 MYE Software reliability : principles and practice | D.2.4 ROS Teoría de la computación y verificación de programas | D.2.4 ROS Teoría de la computación y verificación de programas |
There are no comments on this title.