Semantyka i weryfikacja programów/Ćwiczenia 13

Z Studia Informatyczne
< Semantyka i weryfikacja programów
Wersja z dnia 14:47, 11 sie 2006 autorstwa Sl (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania


Zawarto¶æ

Weryfikacja programow

{{cwiczenie|1|cw1|


x := 1; y := 0;
 x <= n 
  y := y + x;
  x := x + 1


Rozwiązanie

{{{3}}}


Zadania domowe

{{cwiczenie|1|cw1.dom|