1
Cover Image
Continuous Delivery Pipelines for Teaching Agile and Developing Software Engineering Skills
By: Informática
Published: 2018
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
Save to List
Saved in:
2
Cover Image
La inteligencia de negocios, un concepto informático
By: Oramas, Joaquin, Oramas, Joaquin, Informática
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
Save to List
Saved in:
3
Cover Image
Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
By: Bohórquez, Jaime, Bohórquez, Jaime, Informática
Published: 2008
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
Save to List
Saved in:
4
Cover Image
The Formal System of Dijkstra and Scholten
By: Rocha, Camilo, Rocha, Camilo, Informática
Published in: Logic, Rewriting, and Concurrency. (2015)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
Save to List
Saved in:
5
Cover Image
An elementary and unified approach to program correctness
By: Bohórquez, Jaime, Bohórquez, Jaime, Informática
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
Save to List
Saved in:
6
Cover Image
Automatic proof-search heuristics in the Maude invariant analyzer tool
By: Rocha, Camilo, Rocha, Camilo, Informática
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
Save to List
Saved in:
7
Cover Image
An Inductive Theorem on the Correctness of General Recursive Programs
By: Bohórquez, Jaime, Bohórquez, Jaime, Informática
Published: 2007
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
Save to List
Saved in:
8
Cover Image
Learning from Corporate Memory and Best Practices
By: Matta, Nada, Matta, Nada, Castillo Navetty, Oswaldo, Informática
Published in: New Research on Knowledge Management Applications and Lesson Learned (2012-03-02)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
Save to List
Saved in:
10
Cover Image
MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN
By: Álvarez Piñeiro, Claudia Patricia, Álvarez Piñeiro, Claudia Patricia, Informática
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
Save to List
Saved in:
12
Cover Image
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
By: Rocha, Camilo, Múñoz, César, Rocha, Camilo, Múñoz, César, Informática
Published: 2011
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
Save to List
Saved in:
15
Cover Image
Theorem Proving Modulo Based on Boolean Equational Procedures
By: Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published: 2008
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
Save to List
Saved in:
16
Cover Image
Proving Safety Properties of Rewrite Theories
By: Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Algebra and Coalgebra in Computer Science (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —