Model Checking Quantum Systems

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

84,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.

Über den Autor

Mingsheng Ying is Distinguished Professor in the Centre for Quantum Software and Information, University of Technology Sydney; Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; and Cheung Kong Chair Professor in the Department of Computer Science and Technology, Tsinghua University. His research interests are quantum computing, programming theory, and logics in artificial intelligence. He is the author of the books Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (2001). Currently, he serves as (Co-)Editor-in-Chief of ACM Transactions on Quantum Computing.

Inhaltsverzeichnis

1. Introduction; 2. Basics of Model Checking; 3. Basics of Quantum Theory; 4. Model Checking; 5. Model Checking Quantum Markov Chains; 6. Model Checking Super-operator-valued Markov Chains; 7. Conclusions and Prospects.

Details

Erscheinungsjahr:	2021
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	Gebunden
ISBN-13:	9781108484305
ISBN-10:	1108484301
Sprache:	Englisch
Einband:	Gebunden
Autor:	Ying, Mingsheng Feng, Yuan
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	250 x 175 x 17 mm
Von/Mit:	Mingsheng Ying (u. a.)
Erscheinungsdatum:	04.02.2021
Gewicht:	0,57 kg