A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(1)
65
(1)
Show More
Show Less
Author
Luna, Carlos Daniel
(1)
Show More
Show Less
Subject
Coq
(2)
Calculus of Inductive Constructions
(1)
Ciencias Informáticas
(1)
Educación
(1)
Formal specification
(1)
MIDP 2.0
(1)
Security
(1)
enseñanza de la programación
(1)
enseñanza superior
(1)
especificación y verificación de corrección
(1)
Show More
Show Less
Year
2006
(2)
1202
(1)
2010
(1)
2014
(1)
Show More
Show Less
Document Type
Artículo
(1)
Sin Especificar
(1)
Show More
Show Less
Language
Español
(1)
in
(1)
Show More
Show Less
Your search
Year:
2006
Subject:
Coq
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.009 seconds)
Title:
Enseñando métodos formales con Coq
Author:
Luna, Carlos Daniel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
sistema de enseñanza
/
enseñanza superior
/
enseñanza de la programación
/
métodos formales
/
teoría de tipos
/
Coq
/
especificación y verificación de corrección
Acceder
Descargar
Title:
A formal specification of the MIDP 2.0 security model
Language:
in
Repository:
65
Subject:
Calculus of Inductive Constructions
/
Formal specification
/
MIDP 2.0
/
Security
/
Coq
Acceder
« Previous
1
Next »