Computer Verification of Algorithms Using a Formal Proof System
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Markus Kaiser
Themen in »Computer Verification of Algorithms Using a Formal Proof System«
Number Theory Primality Public-Key Cryptography Rewriting Traversal Algorithms
Stimmen zu »Computer Verification of Algorithms Using a Formal Proof System«
Details
ISBN: 9783866244832
Verlag: Winter Industries
Erscheinung: 22.06.2010