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, wh
YING, MINGSHENG (UNIVERSITY OF TECHNOLOGY, SYDNEY),FENG, YUAN (UNIVERSITY OF TECHNOLOGY, SYDNEY)
Model Checking Quantum Systems
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, wh
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9781108484305Mladinska knjiga ID
9781108484305Leto izida
2021Datum izida
04.02.2021Število strani
220Status dobavljivosti
7-10 delovnih dniZaložnik
Cambridge University PressAvtor
Ying, Mingsheng (University of Technology, Sydney),Feng, Yuan (University of Technology, Sydney)Dimenzije
442 x 250 x 20BIC
GPF,PHQ,UYA,UYFOpis
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.Pogosto kupljeno skupaj
Prikaži vse podrobnosti
Trda vezava