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

Language: Español Year: 2001 Year: 2018 Document Type: Tesis Repository: 37

Sort by Score Title Year -

1-1 from 1 results (0.008 seconds)

Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder

« Previous 1 Next »