The Verification of MDG Algorithms in the HOL Theorem Prover

Algorithms

von Sa'ed Abed

Taschenbuch

ISBN-13: 978-3-8383-1738-0

ISBN-10: 3-8383-1738-6

LAP Lambert Academic Publishing · 2009