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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore
Cambridge University Press
2021
|
| Subjects: | |
| Online Access: | BSB01 FHN01 TUM01 TUM02 Volltext |
| Summary: | 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 |
| Physical Description: | 1 Online-Ressource Illustrationen |
| ISBN: | 9781108613323 |
| DOI: | 10.1017/9781108613323 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047187284 | ||
| 003 | DE-604 | ||
| 005 | 20230509 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 210309s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9781108613323 |c Online |9 978-1-108-61332-3 | ||
| 024 | 7 | |a 10.1017/9781108613323 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781108613323 | ||
| 035 | |a (OCoLC)1241681339 | ||
| 035 | |a (DE-599)BVBBV047187284 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-91G | ||
| 082 | 0 | |a 006.3/843 | |
| 084 | |a ST 152 |0 (DE-625)143596: |2 rvk | ||
| 084 | |a DAT 503 |2 stub | ||
| 100 | 1 | |a Ying, Mingsheng |d 1964- |0 (DE-588)1228895759 |4 aut | |
| 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, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore |b Cambridge University Press |c 2021 | |
| 300 | |a 1 Online-Ressource |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 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 | ||
| 650 | 4 | |a Quantum computing | |
| 650 | 4 | |a Computer systems / Verification | |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Markov-Kette |0 (DE-588)4037612-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Quantencomputer |0 (DE-588)4533372-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Quantencomputer |0 (DE-588)4533372-5 |D s |
| 689 | 0 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | 2 | |a Markov-Kette |0 (DE-588)4037612-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Feng, Yuan |d 1977- |0 (DE-588)1228896488 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-1-108-48430-5 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781108613323 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032592552 | ||
| 966 | e | |u https://doi.org/10.1017/9781108613323 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108613323 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108613323 |l TUM01 |p ZDB-20-CBO |q TUM_Einzelkauf |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108613323 |l TUM01 |p ZDB-20-CBO |q TUM_Paketkauf_2021 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108613323 |l TUM02 |p ZDB-20-CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804182283433803776 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ying, Mingsheng 1964- Feng, Yuan 1977- |
| author_GND | (DE-588)1228895759 (DE-588)1228896488 |
| author_facet | Ying, Mingsheng 1964- Feng, Yuan 1977- |
| author_role | aut aut |
| author_sort | Ying, Mingsheng 1964- |
| author_variant | m y my y f yf |
| building | Verbundindex |
| bvnumber | BV047187284 |
| classification_rvk | ST 152 |
| classification_tum | DAT 503 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781108613323 (OCoLC)1241681339 (DE-599)BVBBV047187284 |
| dewey-full | 006.3/843 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/843 |
| dewey-search | 006.3/843 |
| dewey-sort | 16.3 3843 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1017/9781108613323 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03198nmm a2200541zc 4500</leader><controlfield tag="001">BV047187284</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230509 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">210309s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108613323</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-108-61332-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781108613323</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781108613323</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1241681339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047187284</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/843</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 152</subfield><subfield code="0">(DE-625)143596:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 503</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ying, Mingsheng</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1228895759</subfield><subfield code="4">aut</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, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore</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</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</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="650" ind1=" " ind2="4"><subfield code="a">Quantum computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems / Verification</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Quantencomputer</subfield><subfield code="0">(DE-588)4533372-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Quantencomputer</subfield><subfield code="0">(DE-588)4533372-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feng, Yuan</subfield><subfield code="d">1977-</subfield><subfield code="0">(DE-588)1228896488</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-1-108-48430-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032592552</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">TUM_Einzelkauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">TUM_Paketkauf_2021</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108613323</subfield><subfield code="l">TUM02</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047187284 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:46:36Z |
| indexdate | 2024-07-10T09:05:05Z |
| institution | BVB |
| isbn | 9781108613323 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032592552 |
| oclc_num | 1241681339 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-92 DE-91G DE-BY-TUM |
| physical | 1 Online-Ressource Illustrationen |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO TUM_Einzelkauf ZDB-20-CBO TUM_Paketkauf_2021 |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Ying, Mingsheng 1964- (DE-588)1228895759 aut Model checking quantum systems principles and algorithms Mingsheng Ying (University of Technology, Sydney), Yuan Feng (University of Technology, Sydney) Cambridge, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore Cambridge University Press 2021 1 Online-Ressource Illustrationen txt rdacontent c rdamedia cr rdacarrier 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 Quantum computing Computer systems / Verification Model Checking (DE-588)4434799-6 gnd rswk-swf Markov-Kette (DE-588)4037612-6 gnd rswk-swf Quantencomputer (DE-588)4533372-5 gnd rswk-swf Quantencomputer (DE-588)4533372-5 s Model Checking (DE-588)4434799-6 s Markov-Kette (DE-588)4037612-6 s DE-604 Feng, Yuan 1977- (DE-588)1228896488 aut Erscheint auch als Druck-Ausgabe, Hardcover 978-1-108-48430-5 https://doi.org/10.1017/9781108613323 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Ying, Mingsheng 1964- Feng, Yuan 1977- Model checking quantum systems principles and algorithms Quantum computing Computer systems / Verification Model Checking (DE-588)4434799-6 gnd Markov-Kette (DE-588)4037612-6 gnd Quantencomputer (DE-588)4533372-5 gnd |
| subject_GND | (DE-588)4434799-6 (DE-588)4037612-6 (DE-588)4533372-5 |
| 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_exact_search_txtP | 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 |
| topic | Quantum computing Computer systems / Verification Model Checking (DE-588)4434799-6 gnd Markov-Kette (DE-588)4037612-6 gnd Quantencomputer (DE-588)4533372-5 gnd |
| topic_facet | Quantum computing Computer systems / Verification Model Checking Markov-Kette Quantencomputer |
| url | https://doi.org/10.1017/9781108613323 |
| work_keys_str_mv | AT yingmingsheng modelcheckingquantumsystemsprinciplesandalgorithms AT fengyuan modelcheckingquantumsystemsprinciplesandalgorithms |