Model Checking Quantum Systems: Principles and Algorithms - Ying, Mingsheng (University of Technology, Sydney) - 書籍 - Cambridge University Press - 9781108484305 - 2021年2月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 15.119
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月12日 - 年10月22日
Ying, Mingsheng (University of Technology, Sydney) の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2021年2月4日
ISBN13 9781108484305
出版社 Cambridge University Press
ページ数 220
寸法 250 × 442 × 20 mm   ·   520 g
言語 英語  

同じ出版社からのその他の記事

Ying, Mingsheng (University of Technology, Sydney)のすべてを見る