Analysis and verification of multiple-agent languages : 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.).
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 1192Szczegóły wydania: Berlin : Springer, 1997.Opis: VIII, 434 s. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 3540625038
- 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 181491 | Dostępny | 0000145755 |
Liczba zamówień: 0
Dostępne również w formie elektronicznej.