Normal view MARC view ISBD view

The correctness problem in computer science / R. S. Boyer and J. Strother Moore

Auteur secondaire : Boyer, Robert S., Editeur scientifique • Moore, J. Strother, 1947-, Editeur scientifiqueType de document : MonographieCollection : International lecture series in computer scienceLangue : anglais.Pays : Grande Bretagne.Éditeur : London : Academic Press, 1981Description : 1 vol. (XIII-279 p.) : ill. ; 24 cmISBN : 0121229203.Bibliographie : Notes bibliogr. 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.)
68N01, Computer science -- Software, General
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 BOY (Browse shelf) Available 09051-01

Notes bibliogr. Index

There are no comments for this item.

Log in to your account to post a comment.