Formal Verification (Second Edition)
- Författare
- M V Achutha Kiran Kumar andTom Schubert Erik Seligman
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-0-323-95612-3 | ||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | |||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-0-323-95613-0 |