Model checking quantum systems : principles and algorithms / Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney. electronic resource
- Författare
- Mingsheng Ying
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-108-61332-3 | ||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |