PRE-POST CONDICIONES
Publicado por raul (6 intervenciones) el 28/08/2003 16:49:33
Hola! Necesitaría que alguien me ayudara con un problema que tengo en Visual C. Tengo que realizar las PRE- POST CONDICIONES y los INVARIANTES en una aplicación, pero no sé como realizarlos bién. Las PRE y POST casi lo tengo, pero no se como crear el INVARIANTE. Podría alguien hacerme un ejemplo? Gracias
Valora esta pregunta


0