OPAC

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

Your search

Year: 1202 Year: 2008 Repository: 65 Subject: Coq Document Type: Sin Especificar Language: Español

Sort by Score Title Year -

1-2 from 2 results (0.01 seconds)

Title: Hacia una especificación formal de un microcontrolador usado en marcapasos
Language: Español
Repository: 65
Subject: Microcontroladores (PICs) / Especificaciones Formales / Coq

Acceder
Title: Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Language: Español
Repository: 65
Subject: Java Micro Edition / Interactive Mobile Devices / Modelo de Seguridad / Especificaciones Formales / MIDP / Coq

Acceder

« Previous 1 Next »