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 - Artificial intelligence, 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.