BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499. |
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: 31. 8. 2024 12:07