Normal view MARC view ISBD view

Specification case studies / Ian Hayes ; with contributions by Bill Flinn ... [et al.]

Auteur secondaire : Hayes, Ian, 1956-, Editeur scientifique • Flinn, Bill, CollaborateurType 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, Computer science, Research exposition (monographs, survey articles)
68Q60, Computer science -- Theory of computing, Specification and verification (program logics, model checking, etc.)
68Nxx, Computer science, Software
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
Salle R
68 HAY (Browse shelf) Available 11526-01


There are no comments for this item.

Log in to your account to post a comment.