Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research
Preview

55. 56. 57. 58. 59. Joe Hurd. Verification of the Miller-Rabin probabilistic primality test. In R. Boulton and P. Jackson, editors, TPHOLs 2001: Supplemental Proceedings, number EDI-INF-RR-0046 in Informatics Report Series, pages 223 –238.

Download

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB