Unbounded model checking for knowledge and timeMagdalena Kacprzak
Unbounded model checking for knowledge and time
9 bibliotek2 wydania · 2003
O książce
- Autor
- Magdalena Kacprzak
- Lata wydań
- 2003
- Liczba wydań
- 2
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 9 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Uniwersytecka w Warszawie (Warszawa), Biblioteka Dziedzin Nauk Medycznych i Nauk o Zdrowiu, Nauk Inżynieryjno-Technicznych oraz Nauk Ścisłych i Przyrodniczych (Lublin), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń), Biblioteka na Koszykowej (Warszawa), Biblioteka UMCS (Lublin), Książnica Pomorska (Szczecin)