Normal view MARC view ISBD view

Lectures on the logic of computer programming / Zohar Manna

Auteur principal : Manna, Zohar, 1939-, AuteurType de document : MonographieCollection : CBMS-NSF regional conference series in applied mathematics, 31Langue : anglais.Pays : Etats Unis.Éditeur : Philadelphia, PA : Society for Industrial and Applied Mathematics, 1980Description : 1 vol. (47 p.) ; 25 cmISBN : 0898711649.ISSN : 0163-9439.Bibliographie : Bibliogr. p. 49.Sujet MSC : 68Q60, Computer science -- Theory of computing, Specification and verification (program logics, model checking, etc.)
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 MAN (Browse shelf) Available 09242-01

Bibliogr. p. 49

There are no comments for this item.

Log in to your account to post a comment.