Analyse statique en programmation équationnelle fonctionnelle et logique : JTASPEFL'91, Bordeaux, 9-11 octobre 1991 / M. Billaud, P. Casteran, M.M. Corsini, ...[et al.]

Auteur principal collectivité : Université de Bordeaux I, AuteurAuteur secondaire : Castéran, Pierre, Organisateur • Corsini, Marc-Michel, Organisateur • Billaud, Michel, 1943-, OrganisateurType 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 science
68N15, Computer science - Theory of software, Theory of programming languages
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
 Congrès Congrès CMI
Salle 2
68-06 BIL (Browse shelf(Opens below)) Available 10519-01

bibliogr.

There are no comments on this title.

to post a comment.