Model-Checking Quantum Systems: Principles and Algorithms
Product ID: 308420012
Secure Transaction
12 interest-free installments with tabby
Frequently Bought Together
Description
- ISBN-13: 9781108484305
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad...
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Fast shipping and excellent packaging. The Leatherman tool feels very premium and sturdy.
1 day ago
Excellent communication throughout the order process. Product is perfect.
2 weeks ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving millions of shoppers across more than 100 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
