ATENCIÓN: El lunes 14/9 estaremos cambiando nuestra plataforma, algunos servicios no estarán disponibles por 72hs.
Estamos trabajando para actualizar y mejorar nuestros servicios.
Pedimos disculpas por cualquier molestia que esto pueda ocasionar.

Por consultas y renovaciones llamar al 2902 1505 o enviar un email a consulta_bibcen@ort.edu.uy / consulta_bibpoc@ort.edu.uy.

Resultados de la búsqueda

Resultados 1 hasta 5 de 5 en 1 s
  Título/autor Items Biblioteca Ubicación  
TFDC Interpretación de KM3/ATL en Teoría de Tipos
Fornaro Rosado, Carlos Nicolás Montevideo : Universidad ORT Uruguay, 2013
0 CEN Disponible en línea No Reservable
IMPR Models in software engineering: workshops and symposia at Models 2007, Nashville, TN, USA, September 30 - October 5, 2007, reports and revised selected papers
Giese, Holger ; ed. 5002 Berlin : Springer, (c)2008
1 CEN 005.1 GIE Reservar
IMPR A type-theoretic framework for certified model transformations
Calegari, Daniel 6527 s.l. : s.n.
0 CEN 005.1 DAVf No Reservable
IMPR Experiment with a type-theoretic approach to the verification of model transformations
Calegari, Daniel n.8 Montevideo : Universidad ORT Uruguay. Facultad de Ingeniería, 2009
1 CEN 005.13 CALe Reservar
IMPR A type-theoretic framework for certified model transformations
Calegari, Daniel n.9 Montevideo : Universidad ORT Uruguay. Facultad de Ingeniería, 2010
2 CEN 005.13 CAL Reservar
Chinese Corner