Rahva Raamat logo
Rahva Raamat logo
Raamatud
triangle icon
E-raamatud
triangle icon
Kasutatud raamatud
triangle icon
Kingitused
triangle icon
Mängud ja mänguasjad
triangle icon
Kodukaubad
triangle icon
Ilu ja stiil
triangle icon
Muusika ja filmid
triangle icon
Kooli- ja kontoritarbed
triangle icon
Tehnika
triangle icon
delivery icon

Kohaletoimetamine on tasuta!

home icon

Model Checking Quantum Systems

Model Checking Quantum Systems
gallery icon
Galerii

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, while researchers and engineers in the related fields can use the techniques in their own work.
[object Object] icon

Detailid

basket icon

Toode on otsas