Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke

Auteur principal : Peled, Doron A., 1962-, AuteurAuteur secondaire : Clarke, Edmund M., 1945-, PréfacierType de document : MonographieCollection : Texts in computer scienceLangue : anglais.Pays: Etats Unis.Éditeur : New York : Springer, 2001Description : 1 vol. (XIX-331 p.) : ill. ; 25 cmISBN: 0387951067.ISSN: 1868-0941.Bibliographie : Bibliogr. p. [321]-328. Index.Sujet MSC : 68M15, Computer system organization, Reliability, testing and fault tolerance of networks and computer systems
68V15, Computer science support for mathematical research and practice, Theorem proving
68T27, Computer science, Logic in artificial intelligence Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R 		68 PEL (Browse shelf(Opens below)) Available 02235-01

1 exemplaire chez Qarma

Bibliogr. p. [321]-328. Index

There are no comments on this title.

to post a comment.