T. F. Melham
Articles populaires de T. F. Melham
Afficher toutes les offres-
Higher Order Logic and Hardware Verification
Melham, T
Prix des articles à partir de
Afficher les 38 offresEUR 55,57
-
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Prix des articles à partir de
Afficher 1 offreEUR 116,82
Rechercher également
Ancien ou d'occasion
