Théorie des programmes : schémas, preuves, sémantique / C. Livercy ; préface du Professeur C. Pair.
Langue : français.Pays : France.Publication : Paris : Dunod, 1978.Description : XII-328 p. ; 24 cm.ISBN : 2-04-010516-6.Collection: Dunod informatique, 0291-1604.,| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Monographie | IREM P7 | 77.9 LIV 78 (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 6632 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 77.9 JOL 68a le traitement des informations | 77.9 KHI 57 Mathematical foundations of information theory | 77.9 KHI 57a Mathematical foundations of information theory | 77.9 LIV 78 Théorie des programmes | 77.9 SIE 83 t1 Automation of reasoning | 77.9 SIE 83 t2 Automation of reasoning, 2 | 77.9 ZEI 76 Theory of modelling and simulation |
C. Livercy : nom collectif de Jean-Pierre Finance, Monique Grandbastien, Pierre Lescanne, Pierre Marchand... [et al.]
Il n'y a pas de commentaire pour ce titre.