Local cover image
Fairness
Material type:
TextSeries: Texts and monographs in computer sciencePublication details: Nueva York : Springer-Verlag, c1986Edition: 1a edDescription: xiii, 295 p. : ilISBN: - 9781461293477
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.2.4 FRA (Browse shelf(Opens below)) | Available | DIF-04486 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.2.4 ALE Métodos formais para o desenvolvimento de programas | D.2.4 APT Verification of sequential and concurrent programs | 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 |
Incluye índice y bibliografía.
Click on an image to view it in the image viewer