Vitalsource Technologies, Inc. Abstraction, Refinement And Proof For Probabilistic Systems

159.00 USD

Brand: Springer New York
Sponsored  This site contains affiliate links for which we may receive compensation. More information