Model Checking Quantum Systems

About The Book

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.
Piracy-free
Piracy-free
Assured Quality
Assured Quality
Secure Transactions
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
downArrow

Details


LOOKING TO PLACE A BULK ORDER?CLICK HERE