The spin model checker : primer and reference manual /
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Boston, MA :
Addison-Wesley,
c2004.
|
| Gaiak: | |
| Classic Catalogue: | View this record in Classic Catalogue |
Ayesha Abed Library: General Shelf
| Sailkapena: |
620.001171 HOL |
|---|---|
| Alea 1 | Eskuragarri Erreserbatu |
| Alea 2 | Eskuragarri Erreserbatu |