| BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Online. Cambridge, Mass.: MIT Press, 2008. xvii, 975. ISBN 9780262026499. [citováno 2024-04-24] |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Principles of model checking |
| Autoři | BAIER, Christel a Joost-Pieter KATOEN |
| Vydání | Cambridge, Mass. xvii, 975, 2008. |
| Nakladatel | MIT Press |
| Další údaje | |
|---|---|
| ISBN | 9780262026499 |
| Změnil | Záznam byl importován z knihovního systému. Změněno: 11. 9. 2023 04:46. |
VytisknoutZobrazeno: 24. 4. 2024 10:53