Author: Mingsheng Ying
Showing 1 to 1 of 1
-
Save 10% Model Checking Quantum Systems: Principles and Algorithms
Mingsheng YingCurrent price €62.09Original price €68.99Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardwar...
View full detailsCurrent price €62.09Original price €68.99Save 10%
Sort by