Mostrando
1 - 1
Resultados de
1
Para Buscar '
Argón, Pablo
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Argón, Pablo
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Argón, Pablo
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Some Issues in Using Formal Methods for the Development of Reactive Systems
por
Argón
,
Pablo
,
Roux, Olivier
Publicado 1998
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Enlace del recurso
Articulo
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Ciencias Informáticas
Compiler design
Coq theorem prover
Electre reactive language
Model checking
Spin model checker
program extraction
program proof
Cargando...