Pastāsti draugiem par šo preci:
Model Checking Quantum Systems: Principles and Algorithms Ying, Mingsheng (University of Technology, Sydney)
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Ying, Mingsheng (University of Technology, Sydney) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Model Checking Quantum Systems: Principles and Algorithms
Ying, Mingsheng (University of Technology, Sydney)
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.
240 pages, Worked examples or Exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2021. gada 4. februāris |
| ISBN13 | 9781108484305 |
| Izdevēji | Cambridge University Press |
| Lapas | 220 |
| Izmēri | 250 × 442 × 20 mm · 520 g |
| Valoda | Angļu |
Vairāk no tā paša izdevēja
Skatīt visus Ying, Mingsheng (University of Technology, Sydney) ( piem., Hardcover Book )