Higher Order Logic and Hardware Verification

Melham, T.F.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
180
Parution
juillet 2009
Format
Livre broché
Langue
Anglais
Dimensions
244 × 170 × 10 cm
EAN
9780521115322
  • Résumé

This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page