Mathematics of program construction : second international conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.).
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 669Szczegóły wydania: Berlin : Springer, 1993.Opis: VIII, 378 s. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 3540566252
- 0387566252
- Dostępne również w formie elektronicznej.
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 181444 | Dostępny | 0000145708 |
Liczba zamówień: 0
W przedm. nazwa konferencji: International Conference on the Mathematics of Program Construction.
Dostępne również w formie elektronicznej.