Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
**<br />
* @param a an integer<br />
* @returns integer square root of a<br />
**/<br />
int root (int a) {<br />
int i = 0;<br />
int k = 1;<br />
int sum = 1;<br />
while (sum