Mostrando 1 - 2 Resultados de 2 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: Model-checking techniques
Restablecer filtros
Mostrar filtros (1)
Materias: Model-checking techniques
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Algebra 2 Complex networks 2 Computation theory 2 Computational networks 2 Computer programming languages 2 Distributed computer systems 2 Linear temporal logic 2 Middleware 2 Model-checking techniques Operational semantics 2 Reconfigurable hardware 2 Relational network 2 Semantics 2 Service execution 2 Service oriented computing 2 Service-oriented softwares 2 Software design 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.05s Limitar resultados
  1. 1
    A full operational semantics for asynchronous relational networks
    Publicado 2015
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Enlace del recurso
  2. 2
    A full operational semantics for asynchronous relational networks
    por Vissani, I., Pombo, C.G.L., Jose, J.L.F., Tutu I., Codescu, M., Diaconescu, R.
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    SER
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
SER 1
Codescu, M. 1 Diaconescu, R. 1 Jose, J.L.F. 1 Pombo, C.G.L. 1 Tutu I. 1 Vissani, I. 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...