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

Query: PROGRAM Repository: 37 Year: 2004

Sort by Score Title Year -

21-22 from 22 results (0.03 seconds)

Title: The B method as an environment for the verification of eiffel programs: a case study
Author: Aguirre, Nazareno Matías / Oviedo, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / Object orientation / Program Verification / B Method

Acceder
Title: Potential programming plan and domain concept detection supported by slicing technique
Author: Villavicencio, Gustavo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Program understanding / programming plans / program slicing / domain model / constraint satisfaction problems / partial constraint satisfaction problems / ARTIFICIAL INTELLIGENCE / Intelligent agents

Acceder

« Previous 1 2 3 Next »