Faktorijel

Zadatak: Napisati program koji za prirodan broj x izračunava vrednost njegovog faktorijela i smešta je u promenljivu y.

• Specifikacija
• Pseudokod programa
• Testiranje programa
• Invarijanta petlje
• Dokaz parcijalne korektnosti programa
• Dokaz zaustavljanja programa
• Prevođenje u C program