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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (4)

Show More Show Less

Author

Aldasoro, Roberto (1)
Baher, Arya (1)
Bavera, Francisco (1)
Canabal, Alberto (1)
Erario, Joaquín (1)
Garis, Ana Gabriela (1)
Gil, Francisco (1)
Paús, Pablo (1)
Páez, Bruno (1)
Rovera, Christian (1)

Show More Show Less

Subject

verificación (4)
Ciencias Informáticas (3)
Alloy (1)
Cellular architecture (e.g., mobile) (1)
DSL (1)
Ingeniería (1)
Languages (1)
Mobile processors (1)
colimación (1)
dispositivo financiero (1)

Show More Show Less

Year

2013 (2)
2006 (1)
2012 (1)
2014 (1)
2016 (1)

Show More Show Less

Document Type

Sin Especificar (4)

Show More Show Less

Language

Español (4)

Show More Show Less

Your search

Subject: verificación formal Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

1-4 from 4 results (0.017 seconds)

Title: Analizador de intents en Android
Author: Erario, Joaquín / Rovera, Christian / Bavera, Francisco
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Mobile processors / integridad de control de flujo / Cellular architecture (e.g., mobile) / seguridad / verificación / lenguajes / programas

Acceder
Title: Verificación en Alloy de modelos y metamodelos específicos del dominio
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificación

Acceder
Title: Proyecto ATM simulator
Author: Álvarez, Jerónimo / Canabal, Alberto / Baher, Arya
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivo financiero / verificación / protocolo abierto de comunicación / estándar de administración de dispositivos / financial device / open communication protocol / standard for devices administration

Acceder
Title: Verificación de un nivel óptico
Author: Gil, Francisco / Páez, Bruno / Paús, Pablo / San Martín, José / Aldasoro, Roberto / Soto, Jaime R.
Language: Español
Repository: 37
Subject: Ingeniería / nivel / ensayo / verificación / colimación / precisión

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723