Normal view MARC view ISBD view

Théorie des programmes : schémas, preuves, sémantique / C. Livercy

Auteur principal : Livercy, C., pseud. collectif, AuteurType de document : MonographieCollection : Dunod informatique, 5Langue : français.Pays : France.Éditeur : Paris : Dunod, 1978Description : 1 vol. (328 p.) ; 24 cmISBN : 2040105166.ISSN : 0154-5450.Bibliographie : Bibliogr. p. 315-322. Index.Sujet MSC : 68Q60, Computer science -- Theory of computing, Specification and verification (program logics, model checking, etc.)
68N01, Computer science -- Software, General
68-02, Computer science, Research exposition (monographs, survey articles)
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 LIV (Browse shelf) Available 08365-01

Bibliogr. p. 315-322. Index

There are no comments for this item.

Log in to your account to post a comment.