Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts.
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 1426Szczegóły wydania: Berlin : Springer, 1998.Opis: XIV, 280 s. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 3540655069
- 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 181716 | Dostępny | 0000145984 |
Liczba zamówień: 0
Bibliogr. s. 257-272.
Dostępne również w formie elektronicznej.