Saltar al contenido
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Avanzado
  • Hardware Verification by Forma...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enlace Permanente
Hardware Verification by Formal Proof

Hardware Verification by Formal Proof

Mostrar otras versiones (1)
Detalles Bibliográficos
Autores principales: Birtwistle, G, Graham, B, Melham, T, Schediwy, R
Formato: Report
Publicado: Department of Computer Science‚ University of Calgary 1988
  • Existencias
  • Descripción
  • Otras Versiones (1)
  • Ejemplares similares
  • Vista Equipo
Descripción
Sumario:

Ejemplares similares

  • Hardware Verification by Formal Proof
    por: Birtwistle, G, et al.
    Publicado: (1988)
  • Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
    por: Melham, T
    Publicado: (1989)
  • An Industrially Effective Environment for Formal Hardware Verification
    por: Seger, C, et al.
    Publicado: (2005)
  • Abstraction Mechanisms for Hardware Verification
    por: Melham, T
    Publicado: (1988)
  • Abstraction Mechanisms for Hardware Verification
    por: Melham, T
    Publicado: (1990)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes