Mostrando 1 - 2 Resultados de 2 Para Buscar '"System verification"' Saltar al contenido
BDU3
  • Inicio
Avanzado
  • Resultados de búsqueda - "System verification"
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Calculations 2 Category theory 2 Computational linguistics 2 Computer hardware description languages 2 Formal framework 2 Formal languages 2 Formal methods 2 Formal specification 2 Heterogeneous specifications 2 Mathematical formalism 2 Semantics 2 Specifications 2 Structured specification 2 Structuring mechanisms 2 System specification 2 System verification 2 System verifications 2 Z Notation 2 Z notation 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '"System verification"', tiempo de consulta: 0.27s Limitar resultados
  1. 1
    Categorical foundations for structured specifications in Z
    Publicado 2015
    Materias: “...System verification...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Enlace del recurso
  2. 2
    Categorical foundations for structured specifications in Z
    por Castro, P.F., Aguirre, N., Pombo, C.L., Maibaum, T.S.E.
    Materias: “...System verification...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    JOUR
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 2
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2
JOUR 1
Aguirre, N. 1 Castro, P.F. 1 Maibaum, T.S.E. 1 Pombo, C.L. 1

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...