MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01923nam a22003257a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
21724168 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
IIITD |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20230527122640.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
200921s2020 enk b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2020041998 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781108484305 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
DLC |
| Modifying agency |
DLC |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.889 |
| Item number |
.Y564 2020 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
23 |
| Item number |
YIN-M |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ying, Mingsheng |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Model checking quantum systems : |
| Remainder of title |
principles and algorithms |
| Statement of responsibility, etc |
by Mingsheng Ying and Yuan Feng |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New Delhi : |
| Name of publisher, distributor, etc |
Cambridge University Press, |
| Date of publication, distribution, etc |
©2021 |
| 263 ## - PROJECTED PUBLICATION DATE |
|---|
| Projected publication date |
2012 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xi, 209 p. : |
| Other physical details |
ill. ; |
| Dimensions |
25 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 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 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Quantum computing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Feng, Yuan |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Online version : |
| Main entry heading |
Ying, Mingsheng, 1964- |
| Title |
Model checking quantum systems |
| Edition |
1. |
| Place, publisher, and date of publication |
New York : Cambridge University Press, 2020. |
| International Standard Book Number |
9781108613323 |
| Record control number |
(DLC) 2020041999 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
rip |
| c |
orignew |
| d |
1 |
| e |
ecip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
