Analyse statique en programmation équationnelle fonctionnelle et logique : JTASPEFL'91, Bordeaux, 9-11 octobre 1991 / M. Billaud, P. Casteran, M.M. Corsini, ...[et al.]
Type de document : CongrèsCollection : Bigre, 74Langue : français.Pays: France.Éditeur : Beaulieu : IRISA, 1991Description : 1 vol. (243 p.) ; 25 cmISSN: 0221-5225.Bibliographie : bibliogr..Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science68N15, Computer science - Theory of software, Theory of programming languages
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Congrès | CMI Salle 2 | 68-06 BIL (Browse shelf(Opens below)) | Available | 10519-01 |
bibliogr.
There are no comments on this title.