Biblioteca Jorge Álvarez Lleras

Su carrito está vacío.
Vista normal Vista MARC
  • Grumberg, Orna

Grumberg, Orna (Nombre personal)

Número de registros utilizados en: 1
Forma preferida: Grumberg, Orna

Machine generated authority record.

Work cat.: (CoBo-ECI)10217: Clarke, Edmund M. 20065, Model Checking/ , 1999

Oferta académica

Nuestro Campus

Internacionalización

Ayuda

  • acriditación institucional
  • Google Maps AK. 45 No. 205 - 59, Autopista Norte. PBX: +60(1) 668 3600 - Bogotá.
  • PBX: +57(1) 668 3600 - Bogotá.
  • Línea nacional gratuita: 018000112668.