Specification case studies / Ian Hayes ; with contributions by Bill Flinn ... [et al.]
Type de document : MonographieCollection : Prentice-Hall international series in computer scienceLangue : anglais.Pays: Grande Bretagne.Éditeur : Hempstead : Prentice-Hall, 1993Description : 288 p. ; 25 cmISBN: 0138325448.Bibliographie : Index.Sujet MSC : 68-02, Research exposition (monographs, survey articles) pertaining to computer science68Q60, Computer science - Theory of computing, Specification and verification
68Nxx, Computer science - Theory of software Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 68 HAY (Browse shelf(Opens below)) | Available | 11526-01 |
Index
There are no comments on this title.