Model Checking Quantum Systems: Principles and Algorithms - Ying, Mingsheng (University of Technology, Sydney) - Knjige - Cambridge University Press - 9781108484305 - 4. februarja 2021
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Ying, Mingsheng (University of Technology, Sydney)
Model Checking Quantum Systems: Principles and Algorithms

Cena
€ 88,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 24. nov - 2. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Ying, Mingsheng (University of Technology, Sydney)

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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.

240 pages, Worked examples or Exercises

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 4. februarja 2021
ISBN13 9781108484305
Založniki Cambridge University Press
Strani 220
Dimenzije 250 × 442 × 20 mm   ·   520 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Ying, Mingsheng (University of Technology, Sydney)