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

Subject: Software Program Verification Year: 2019 Year: 2013 Language: Inglés

Sort by Score Title Year -

1-2 from 2 results (0.013 seconds)

Title: Verification of Structured Processes: A Method Based on an Unsoundness Profile
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification

AccederDescargar
Title: BioSmalltalk: a pure object system and library for bioinformatics
Author: Morales Durand, Hernán F. / Giovambattista, Guillermo
Language: Inglés
Repository: 37
Subject: Informática / Biología / Bioinformatics programming / Open-source programming toolkits / Software

Acceder

« Previous 1 Next »