Normal view MARC view ISBD view

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
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
68 PEL (Browse shelf) Available 02235-01

1 exemplaire chez Qarma

Bibliogr. p. [321]-328. Index

There are no comments for this item.

Log in to your account to post a comment.