Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg.
Rodzaj materiału:
TekstSerie: Prace IPI PAN ; 1028Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014.Opis: 27, [1] s. ; 21 cmTematy:
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej dostępny | czytelnia czasopism | Cz 3163 | Dostępny | Cz3163bl |
Liczba zamówień: 0
Na prawach rękopisu.