Morda tole vsaj malo pomaga: http://en.wikipedia.org/wiki/Loop_invariant
lp----- Original Message ----- From: "Sara" <[EMAIL PROTECTED]>
To: "FRIClist" <[email protected]> Sent: Thursday, August 24, 2006 9:36 PM Subject: [Friclist] PPJ
A ma kdo zapiske od PPJ od dokazovanja pravilnosti in vstavljivosti programov? pa ce lahko poskenira in poslje na listo :)Cene ve kdo kaj je zancna invarianta?? Lp Sara
