Model checking quantum systems principles and algorithms
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad po...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2021
|
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781108613323 | ||
| 003 | UkCbUP | ||
| 005 | 20210206120059.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 181011s2021||||enk o ||1 0|eng|d | ||
| 020 | |a 9781108613323 | ||
| 100 | 1 | |a Ying, Mingsheng | |
| 245 | 1 | 0 | |a Model checking quantum systems |b principles and algorithms |c Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2021 | |
| 300 | |a 1 Online-Ressource (xi, 209 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 520 | |a Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications. | ||
| 700 | 1 | |a Feng, Yuan |d 1977- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781108484305 |
| 856 | 4 | 0 | |l TUM01 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781108613323 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781108613323 |
|---|---|
| _version_ | 1818779679991005185 |
| adam_text | |
| any_adam_object | |
| author | Ying, Mingsheng |
| author2 | Feng, Yuan 1977- |
| author2_role | |
| author2_variant | y f yf |
| author_facet | Ying, Mingsheng Feng, Yuan 1977- |
| author_role | |
| author_sort | Ying, Mingsheng |
| author_variant | m y my |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| doi_str_mv | 10.1017/9781108613323 |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01573nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781108613323</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20210206120059.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">181011s2021||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108613323</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ying, Mingsheng</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking quantum systems</subfield><subfield code="b">principles and algorithms</subfield><subfield code="c">Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 209 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feng, Yuan</subfield><subfield code="d">1977-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781108484305</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781108613323 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-18T12:04:27Z |
| institution | BVB |
| isbn | 9781108613323 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xi, 209 Seiten) |
| psigel | ZDB-20-CTM |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Ying, Mingsheng Model checking quantum systems principles and algorithms Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney Cambridge Cambridge University Press 2021 1 Online-Ressource (xi, 209 Seiten) txt c cr Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications. Feng, Yuan 1977- Erscheint auch als Druck-Ausgabe 9781108484305 TUM01 ZDB-20-CTM TUM_PDA_CTM https://doi.org/10.1017/9781108613323 Volltext |
| spellingShingle | Ying, Mingsheng Model checking quantum systems principles and algorithms |
| title | Model checking quantum systems principles and algorithms |
| title_auth | Model checking quantum systems principles and algorithms |
| title_exact_search | Model checking quantum systems principles and algorithms |
| title_full | Model checking quantum systems principles and algorithms Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney |
| title_fullStr | Model checking quantum systems principles and algorithms Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney |
| title_full_unstemmed | Model checking quantum systems principles and algorithms Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney |
| title_short | Model checking quantum systems |
| title_sort | model checking quantum systems principles and algorithms |
| title_sub | principles and algorithms |
| url | https://doi.org/10.1017/9781108613323 |
| work_keys_str_mv | AT yingmingsheng modelcheckingquantumsystemsprinciplesandalgorithms AT fengyuan modelcheckingquantumsystemsprinciplesandalgorithms |