"Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings"
- Författare
- International SPIN Workshop
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2003 | Utgivningsland okänt / Ej specificerat | |||
| Springer | cop. 2003 | Tyskland, Berlin | 239 sidor. ill. | |
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | |||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-44829-7 | ||