Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | , |
| Natura: | Libro |
| Lingua: | francese |
| Pubblicazione: |
Paris :
Dunod,
1978.
|
| Serie: | Dunod Informatique. Phase Formation
|
| Soggetti: |
Lascia un commento!