The spin model checker :primer and reference manual
HOLZMANN, Gerald J. The spin model checker :primer and reference manual. Boston: Addison-Wesley, 2004, xii, 596 s. ISBN 0-321-22862-6. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | The spin model checker :primer and reference manual |
Autoři | HOLZMANN, Gerald J. |
Vydání | Boston, xii, 596 s, 2004. |
Nakladatel | Addison-Wesley |
Další údaje | |
---|---|
ISBN | 0-321-22862-6 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 3. 12. 2009 00:00. |
VytisknoutZobrazeno: 8. 9. 2024 04:07