Local cover image
Handbook of software reliability engineering
Material type:
TextPublication details: Nueva York : McGraw-Hill, c1996Edition: 1st edDescription: xxv, 850 p. ; 23 cmISBN: - 0070394008
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.2.4 HAN (Browse shelf(Opens below)) | Available | DIF-00031 |
Browsing Biblioteca de la Facultad de 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 |
Click on an image to view it in the image viewer