Model checking quantum systems : principles and algorithms /
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
Cambridge University Press,
|
Publisher Address: | Cambridge, UK : |
Publication Dates: | 2021. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xi, 209 pages : illustrations ; 25 cm |
Bibliography: | Includes bibliographical references (pages 201-207) and index. |
ISBN: |
9781108484305 1108484301 |
Index Number: | QA76 |
CLC: | TP385 |
Call Number: | TP385/Y518-1 |