Higher Order Logic and Hardware Verification
- Título:
- Higher Order Logic and Hardware Verification
- Materia:
- Computer Science; Anglo Saxon and Medieval Literature; English Literature: General Interest
- Editor:
- Cambridge University Press
- Descripción:
- Books for Research
- Identificadores:
- E-ISBN: 9780511569845; 9780521417181 ISBN: 9780521115322
- Colección:
- Cambridge University Press