Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (ed.).
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 407Szczegóły wydania: Berlin : Springer, 1990.Opis: VII, 382 s. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 3540521488
- 0387521488
- 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 181334 | Dostępny | 0000145598 |
Liczba zamówień: 0
Dostępne również w formie elektronicznej.