Theory of program structures : schemes, semantics, verification / Sheila A. Greibach.
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 36Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975.Opis: 379 s. (pag. varia) : il. ; 25 cmISBN: - 3540074155
- 0387074155
- 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 181235 | Dostępny | 0000145393 |
Liczba zamówień: 0
Bibliogr. s. B-1-B-4.
Indeks.
Dostępne również w formie elektronicznej.