Model checking quantum systems : (Record no. 171292)

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
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Bill No. Bill Date Cost, normal purchase price PO No. PO Date Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Vendor/Supplier Koha item type
    Dewey Decimal Classification     Computer Science and Engineering IIITD IIITD General Stacks 27/05/2023 TB372 2023-05-11 3517.28 IIITD/LIC/BS/2021/03/37 2023-05-08   006.3 YIN-M 011986 27/05/2023 £49.99 27/05/2023 Technical Bureau India Pvt. Ltd. Books
© 2024 IIIT-Delhi, library@iiitd.ac.in