Higher Order Logic and Hardware Verification

Melham, T.F.

CHF 77.00
Alerter avant parution Précommander Ajouter au panier Ajouter e-book

Livrable entre 2 et 4 semaines environ

É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