Model Checking Quantum Systems by Ying, Mingsheng; Feng, Yuan;

Principles and Algorithms

20% KEDVEZMÉNY?
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.

Kiadói listaár GBP 58.00
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

27 709 Ft (26 390 Ft + 5% áfa)
Kedvezmény(ek) 20% (cc. 5 542 Ft off)
Kedvezményes ár 22 168 Ft (21 112 Ft + 5% áfa)

27 709 Ft

Beszerezhetőség

Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
A Prosperónál jelenleg nincsen raktáron.

A termék adatai:

Kiadó Cambridge University Press
Megjelenés dátuma 2021. február 4.

ISBN 9781108484305
Kötéstípus Keménykötés
Terjedelem220 oldal
Méret 250x175x17 mm
Súly 520 g
Nyelv angol

Kategóriák

A számítástudomány elmélete, a számítástechnika általában Számítógép architektúrák, logikai tervezés Magasszintű programnyelvek Kvantumfizika (kvantummechanika) További könyvek a számítástechnika területén A számítástudomány elmélete, a számítástechnika általában (karitatív célú kampány) Számítógép architektúrák, logikai tervezés (karitatív célú kampány) Magasszintű programnyelvek (karitatív célú kampány) Kvantumfizika (kvantummechanika) (karitatív célú kampány) További könyvek a számítástechnika területén (karitatív célú kampány)

Rövid leírás:

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

Több

Hosszú leírás:

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.

'This book gives a thorough account of the principles of model checking for quantum systems. It covers the basics of verifying qualitative properties such as reachability as well as quantitative properties on quantum Markov chains. This is the first comprehensive work on this young and exciting research field.' Joost-Pieter Katoen, RWTH Aachen University

Több

Tartalomjegyzék:

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.

Több

Mostanában megtekintett