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: 11. 5. 2024 02:29