Saltar al contenido
VuFind
  • Entrar
    • Slovak
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • Português
Avanzado
  • Formal methods for VLSI design...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
Cargando…
Imagen de Portada

Formal methods for VLSI design /

Guardado en:
Detalles Bibliográficos
Otros Autores: Staunstrup, Jorgen (Compilador)
Formato: Libro
Lenguaje:inglés
Publicado: Amsterdam : North-Holland, 1990
Materias:
počítače
VLSI
navrhovanie počítačových systémov
matematická kybernetika
formálne metódy
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
View in STU Opac
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista Equipo

Ejemplares similares

  • High-level VLSI synthesis /
    Publicado: (1991)
  • Algorithms and parallel VLSI architectures : Konf. Proceedings of the International Workshop on Algorithms and Parallel VLSI Architectures , Abbaye des Prémontrés,Pont-aMousson, France, 10.- 16. June 1990 : Obs. Vol.A., Tutorials, 475 s.. Vol.B., Proceedings, 524 s /
    Publicado: (1991)
  • Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
    Publicado: (1990)
  • Formal models and semantics : Handbook of theoretical computer science. Volume B /
    Publicado: (1990)
  • Computer Aids for VLSI design /
    por: Rubin, Steven M
    Publicado: (1987)

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