Historial de «Lógica de Hoare»

Ver los registros de esta página (ver registro de abusos)

Filtrar revisionesmostrarocultar

Hasta la fecha:

Filtro de etiquetas:

Invertir selección

Contribuciones: Lista • Búsqueda en el historial

Estadísticas: Detalle • Número de visitas • Información de la página

Leyenda: (act) = diferencia con la versión actual, (ant) = diferencia con la versión anterior, m = edición menor

actant 02:3002:30 24 ene 2024‎ NacaruBot discusión contribs.‎ 1301 bytes −4‎ Bot: eliminando enlaces según WP:ENLACESFECHAS deshacer

actant 19:2119:21 14 jul 2019‎ Aosbot discusión contribs.‎ m 1305 bytes +27‎ Mantenimiento de Control de autoridades deshacer

actant 15:2715:27 12 feb 2014‎ Grillitus discusión contribs.‎ m 1278 bytes +11‎ Agrego fecha a plantilla referencias (t=20090715) deshacer

actant 16:5816:58 11 nov 2013‎ PabloCastellano discusión contribs.‎ m 1267 bytes +11‎ Sin resumen de edición deshacer

actant 21:0521:05 11 mar 2013‎ KLBot2 discusión contribs.‎ m 1256 bytes −305‎ Bot: Moviendo 13 enlaces interlingüísticos a d:Q1375924 en Wikidata deshacer

actant 06:2406:24 18 ene 2013‎ Waeswaes discusión contribs.‎ m 1561 bytes −2‎ Eliminando la Categoría:Ingeniería de software; Añadiendo la Categoría:Análisis de software mediante HotCat deshacer

actant 23:1023:10 23 jun 2012‎ HRoestBot discusión contribs.‎ m 1563 bytes +24‎ r2.6.5) (robot Añadido: pt:Lógica de Hoare deshacer

actant 04:4704:47 16 oct 2011‎ EmausBot discusión contribs.‎ m 1539 bytes 0‎ r2.6.4) (robot Modificado: uk:Логіка Гоара deshacer

actant 06:1306:13 13 mar 2011‎ Luckas-bot discusión contribs.‎ m 1539 bytes +31‎ r2.7.1) (robot Añadido: uk:Логіка Хоара deshacer

actant 15:2515:25 23 abr 2010‎ D'ohBot discusión contribs.‎ m 1508 bytes +23‎ robot Añadido: sk:Hoareova logika deshacer

actant 20:1120:11 13 dic 2009‎ Luckas-bot discusión contribs.‎ m 1485 bytes +31‎ robot Añadido: ru:Логика Хоара deshacer

actant 09:1009:10 11 sep 2009‎ VolkovBot discusión contribs.‎ m 1454 bytes +23‎ robot Añadido: it:Logica di Hoare deshacer

actant 16:0816:08 15 jul 2009‎ Ferbrunnen discusión contribs.‎ m 1431 bytes +16‎ Sin resumen de edición deshacer

actant 14:2914:29 3 jun 2009‎ Muro Bot discusión contribs.‎ m 1415 bytes −1‎ Bot: Arreglando caracteres raros del ORDENAR (PR:CW) deshacer
actant 13:5413:54 3 jun 2009‎ Muro Bot discusión contribs.‎ m 1416 bytes +29‎ Bot: Añadiendo ORDENAR deshacer

actant 22:2922:29 24 may 2009‎ 88.12.145.4 discusión‎ 1387 bytes +175‎ Retoques y sección "véase también". deshacer

actant 22:3922:39 15 dic 2008‎ DiegoFb discusión contribs.‎ m 1212 bytes −24‎ Bot: Retirando plantilla en desuso. deshacer

actant 20:1820:18 29 oct 2008‎ Ucevista discusión contribs.‎ m 1236 bytes −1‎ esbozo: informática usando monobook-suite deshacer

actant 15:0515:05 26 oct 2008‎ Ordago discusión contribs.‎ 1237 bytes −32‎ Sin resumen de edición deshacer
actant 15:0415:04 26 oct 2008‎ Ordago discusión contribs.‎ 1269 bytes +282‎ Sin resumen de edición deshacer

actant 08:2208:22 22 oct 2008‎ Nano412 discusión contribs.‎ 987 bytes +35‎ →‎La lógica de Hoare deshacer
actant 08:1908:19 22 oct 2008‎ Nano412 discusión contribs.‎ 952 bytes +952‎ Página nueva: == La lógica de Hoare == La lógica de Hoare es un sistema formal desarrollado por Hoare y posteriormente refinado por Hoare y otros investigadores. El objetivo del sistema es pro...

Obtenido de «https://es.wikipedia.org/wiki/Lógica_de_Hoare»