Search the Library Catalogue
Model checking quantum systems : principles and algorithms (Record no. 524402)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01373nam a2200217Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240821s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9781108484305 |
| Paper back/Hardbound | hbk |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3843 |
| Item number | YIN |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Ying, Mingsheng |
| 245 #0 - TITLE STATEMENT | |
| Title | Model checking quantum systems : principles and algorithms |
| Statement of responsibility, etc | / Mingsheng Ying and Yuan Feng |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher | : Cambridge University Press |
| Year of publication | , 2021 |
| Place of publication | Cambridge |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xi, 209 p. |
| Dimensions | ; 25 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Quantum computing. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Feng, Yuan |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Reference |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Full call number | Accession Number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Anna Centenary Library | Anna Centenary Library | 3RD FLOOR, A WING | 01.04.2024 | 5279.00 | 006.3843 YIN | 674629 | 21.08.2024 | Reference |