Books by Sa''ed Abed
No products found matching the selection.
-20%
The Verification of MDG Algorithms in the HOL Theorem Prover
Sa''ed Abed, Otmane Ait Mohamed
€67.94
€84.92
-20% with code BOOKS
In stock at our supplier