Tous les livres numériques de L.J.M. Claesen en PDF

1 Livre(s)
Télécharger le livre : Higher Order Logic Theorem Proving and its Applications
Higher Order Logic Theorem Proving and its Applications
L.J.M. Claesen , M.J.C. Gordon
The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols...

Editeur : North Holland
Parution : 2014-05-23
PDF sans DRM

157,19 €
Téléchargement immédiat
Dès validation de votre commande