Higher Order Logic and Hardware Verification

Melham, T.F.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
179
Parution
novembre 1993
Format
Cartonné
Langue
Anglais
Dimensions
247 × 174 × 14 cm
EAN
9780521417181
  • 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