Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.
Rodzaj materiału:
TekstSerie: Dunod Informatique. Phase FormationSzczegóły wydania: Paris : Dunod, 1978.Opis: XII, 328 s. : il. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 2040105166
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 108810 | Dostępny | 001108810000 |
Liczba zamówień: 0
Indeks.